Gary is cold. Gary is furry. Gary is quiet. Gary is young. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is young. If Harry is furry then Harry is quiet.
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is furry then Harry is quiet.
((("Harry" "is" "furry" "+")) -> ("Harry" "is" "quiet" "+"))
Gary is furry.
True
1
proof
[(triple2)]
("Gary" "is" "furry" "+")
triple2
Harry is not blue.
False
1
inv-proof
[(triple6)]
("Harry" "is" "blue" "-")
triple6
Harry is quiet.
True
2
proof
[(((triple8) -> rule1))]
("Harry" "is" "quiet" "+")
((triple8) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is not quiet.
False
2
inv-proof
[(((triple8) -> rule1))]
("Harry" "is" "quiet" "-")
((triple8) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2)] Gary is quiet.[(triple3)] Gary is young.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is young.[(triple10)] @1: Harry is quiet.[(((triple8) -> rule1))]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple8) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1