Harry is furry. Harry is smart. Harry is white. White, cold people are round. If someone is furry and not quiet then they are not white. If someone is white and smart then they are cold.
Harry is furry.
("Harry" "is" "furry" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
White, cold people are round.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is furry and not quiet then they are not white.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "white" "-"))
If someone is white and smart then they are cold.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Harry is furry.
True
1
proof
[(triple1)]
("Harry" "is" "furry" "+")
triple1
Harry is not furry.
False
1
inv-proof
[(triple1)]
("Harry" "is" "furry" "-")
triple1
Harry is cold.
True
3
proof
[(((triple3 triple2) -> rule3))]
("Harry" "is" "cold" "+")
((triple3 triple2) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
3
inv-proof
[(((triple3 triple2) -> rule3))]
("Harry" "is" "cold" "-")
((triple3 triple2) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
True
5
proof
[(((triple3 ((triple3 triple2) -> rule3)) -> rule1))]
("Harry" "is" "round" "+")
((triple3 ((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not round.
False
5
inv-proof
[(((triple3 ((triple3 triple2) -> rule3)) -> rule1))]
("Harry" "is" "round" "-")
((triple3 ((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Harry is furry.[(triple1)] Harry is smart.[(triple2)] Harry is white.[(triple3)] @1: Harry is cold.[(((triple3 triple2) -> rule3))] @2: Harry is round.[(((triple3 ((triple3 triple2) -> rule3)) -> rule1))]
Harry is furry.
("Harry" "is" "furry" "+")
triple1
Harry is smart.
("Harry" "is" "smart" "+")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
((triple3 triple2) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple3 ((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2