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