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