Anne is kind. Charlie is not nice. Harry is not big. If someone is furry and round then they are big. If someone is rough then they are not furry. If someone is nice then they are rough.
Anne is kind.
("Anne" "is" "kind" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Harry is not big.
("Harry" "is" "big" "-")
If someone is furry and round then they are big.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are not furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "-"))
If someone is nice then they are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Harry is not big.
True
1
proof
[(triple3)]
("Harry" "is" "big" "-")
triple3
Harry is big.
False
1
inv-proof
[(triple3)]
("Harry" "is" "big" "+")
triple3
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "big" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Anne is kind.[(triple1)] Charlie is not nice.[(triple2)] Harry is not big.[(triple3)]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple2
Harry is not big.
("Harry" "is" "big" "-")
triple3