Gary is big. Gary is kind. Gary is red. Gary is rough. Harry is big. Harry is cold. Harry is furry. Cold things are rough.
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Gary is red.
True
1
proof
[(triple3)]
("Gary" "is" "red" "+")
triple3
Gary is not big.
False
1
inv-proof
[(triple1)]
("Gary" "is" "big" "-")
triple1
Harry is rough.
True
2
proof
[(((triple6) -> rule1))]
("Harry" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple6) -> rule1))]
("Harry" "is" "rough" "-")
((triple6) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Gary is big.[(triple1)] Gary is kind.[(triple2)] Gary is red.[(triple3)] Gary is rough.[(triple4)] Harry is big.[(triple5)] Harry is cold.[(triple6)] Harry is furry.[(triple7)] @1: Harry is rough.[(((triple6) -> rule1))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1