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