Anne is cold. Anne is furry. Anne is rough. Anne is round. Anne is white. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. If something is quiet and round then it is nice. If something is rough and white then it is nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
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 round.
("Gary" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If something is quiet and round then it is nice.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something is rough and white then it is nice.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
Anne is white.
True
1
proof
[(triple5)]
("Anne" "is" "white" "+")
triple5
Gary is not round.
False
1
inv-proof
[(triple11)]
("Gary" "is" "round" "-")
triple11
Anne is nice.
True
3
proof
[(((triple3 triple5) -> rule2))]
("Anne" "is" "nice" "+")
((triple3 triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not nice.
False
3
inv-proof
[(((triple3 triple5) -> rule2))]
("Anne" "is" "nice" "-")
((triple3 triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is nice.[(triple8 OR ((triple9 triple11) -> rule1))] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is nice.[(triple14)] Harry is quiet.[(triple15)] @1: Anne is nice.[(((triple3 triple5) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((triple9 triple11) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Anne is nice.
("Anne" "is" "nice" "+")
((triple3 triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1