Anne is big. Anne is young. Harry is quiet. Red, kind things are not big. If something is kind and red then it is quiet. If Anne is quiet then Anne is young. All big, kind things are furry. If something is quiet and not big then it is furry. If Harry is big and Harry is not furry then Harry is cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is young.
("Anne" "is" "young" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Red, kind things are not big.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "-"))
If something is kind and red then it is quiet.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
If Anne is quiet then Anne is young.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "young" "+"))
All big, kind things are furry.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
If something is quiet and not big then it is furry.
((("something" "is" "quiet" "+") ("something" "is" "big" "~")) -> ("something" "is" "furry" "+"))
If Harry is big and Harry is not furry then Harry is cold.
((("Harry" "is" "big" "+") ("Harry" "is" "furry" "~")) -> ("Harry" "is" "cold" "+"))
Harry is quiet.
True
1
proof
[(triple3)]
("Harry" "is" "quiet" "+")
triple3
Harry is not quiet.
False
1
inv-proof
[(triple3)]
("Harry" "is" "quiet" "-")
triple3
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is young.[(triple2)] Harry is quiet.[(triple3)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3