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