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