Harry is nice. Harry is quiet. Harry is white. If someone is white and round then they are quiet. If Harry is white and Harry is quiet then Harry is round. Round people are green.
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is white and round then they are quiet.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If Harry is white and Harry is quiet then Harry is round.
((("Harry" "is" "white" "+") ("Harry" "is" "quiet" "+")) -> ("Harry" "is" "round" "+"))
Round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Harry is quiet.
True
1
proof
[(triple2)]
("Harry" "is" "quiet" "+")
triple2
Harry is not nice.
False
1
inv-proof
[(triple1)]
("Harry" "is" "nice" "-")
triple1
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Harry is nice.[(triple1)] Harry is quiet.[(triple2)] Harry is white.[(triple3)] @1: Harry is round.[(((triple3 triple2) -> rule2))] @2: Harry is green.[(((((triple3 triple2) -> rule2)) -> rule3))]
Harry is nice.
("Harry" "is" "nice" "+")
triple1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3
Harry is round.
("Harry" "is" "round" "+")
((triple3 triple2) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2