Anne is big. Anne is furry. Anne is kind. Anne is quiet. Anne is not red. Anne is not young. Bob is quiet. Bob is not red. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is young. If Anne is not big then Anne is red. All red, kind things are young.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is not young.
("Anne" "is" "young" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not red.
("Bob" "is" "red" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Anne is not big then Anne is red.
((("Anne" "is" "big" "~")) -> ("Anne" "is" "red" "+"))
All red, kind things are young.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Fiona is big.
True
1
proof
[(triple9)]
("Fiona" "is" "big" "+")
triple9
Fiona is not quiet.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "quiet" "-")
triple13
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not red.[(triple5)] Anne is not young.[(triple6)] Anne is quiet.[(triple4)] Bob is not red.[(triple8)] Bob is quiet.[(triple7)] Fiona is big.[(triple9)] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is kind.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is young.[(triple15 OR ((triple14 triple12) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not red.
("Anne" "is" "red" "-")
triple5
Anne is not young.
("Anne" "is" "young" "-")
triple6
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Bob is not red.
("Bob" "is" "red" "-")
triple8
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
((triple14 triple12) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1