Harry is big. If someone is big and round then they are quiet. Big people are quiet. If someone is young then they are not quiet.
Harry is big.
("Harry" "is" "big" "+")
If someone is big and round then they are quiet.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Big people are quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
If someone is young then they are not quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "-"))
Harry is big.
True
1
proof
[(triple1)]
("Harry" "is" "big" "+")
triple1
Harry is not big.
False
1
inv-proof
[(triple1)]
("Harry" "is" "big" "-")
triple1
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Harry is big.[(triple1)] @1: Harry is quiet.[(((triple1) -> rule2))]
Harry is big.
("Harry" "is" "big" "+")
triple1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1