Harry is quiet. If someone is big and nice then they are smart. Round people are blue. All nice, blue people are smart. If someone is big then they are blue. If Harry is round then Harry is nice. Nice people are big.
Harry is quiet.
("Harry" "is" "quiet" "+")
If someone is big and nice then they are smart.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
All nice, blue people are smart.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If Harry is round then Harry is nice.
((("Harry" "is" "round" "+")) -> ("Harry" "is" "nice" "+"))
Nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Harry is quiet.
True
1
proof
[(triple1)]
("Harry" "is" "quiet" "+")
triple1
Harry is not quiet.
False
1
inv-proof
[(triple1)]
("Harry" "is" "quiet" "-")
triple1
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Harry is quiet.[(triple1)]
Harry is quiet.
("Harry" "is" "quiet" "+")
triple1