Anne is red. Gary is furry. Harry is furry. Quiet, blue people are nice. If someone is quiet then they are nice. Big people are nice. Blue, nice people are not round. Big, nice people are not round. If Anne is big then Anne is red. All quiet, big people are not furry. If someone is round and quiet then they are not furry.
Anne is red.
("Anne" "is" "red" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Quiet, blue people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is quiet then they are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Blue, nice people are not round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
Big, nice people are not round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
If Anne is big then Anne is red.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "red" "+"))
All quiet, big people are not furry.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "furry" "-"))
If someone is round and quiet then they are not furry.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "-"))
Gary is furry.
True
1
proof
[(triple2)]
("Gary" "is" "furry" "+")
triple2
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Anne is red.[(triple1)] Gary is furry.[(triple2)] Harry is furry.[(triple3)]
Anne is red.
("Anne" "is" "red" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
Harry is furry.
("Harry" "is" "furry" "+")
triple3