Anne is furry. Anne is kind. Anne is white. Anne is young. Gary is blue. Gary is quiet. Gary is rough. Gary is white. Gary is young. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is white. Harry is young. If Anne is young and Anne is white then Anne is rough.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Anne is young and Anne is white then Anne is rough.
((("Anne" "is" "young" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "rough" "+"))
Anne is kind.
True
1
proof
[(triple2)]
("Anne" "is" "kind" "+")
triple2
Harry is not furry.
False
1
inv-proof
[(triple11)]
("Harry" "is" "furry" "-")
triple11
Anne is rough.
True
3
proof
[(((triple4 triple3) -> rule1))]
("Anne" "is" "rough" "+")
((triple4 triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
3
inv-proof
[(((triple4 triple3) -> rule1))]
("Anne" "is" "rough" "-")
((triple4 triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Gary is blue.[(triple5)] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] Gary is white.[(triple8)] Gary is young.[(triple9)] Harry is blue.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Anne is rough.[(((triple4 triple3) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Anne is rough.
("Anne" "is" "rough" "+")
((triple4 triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1