Anne is not cold. Anne is not kind. Anne is quiet. Anne is round. Charlie is blue. Charlie is furry. Charlie is kind. Dave is not furry. Dave is not kind. Dave is quiet. Dave is round. Dave is young. All round, cold things are kind.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
All round, cold things are kind.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Dave is not furry.
True
1
proof
[(triple8)]
("Dave" "is" "furry" "-")
triple8
Anne is cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is not cold.[(triple1)] Anne is not kind.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Charlie is blue.[(triple5)] Charlie is furry.[(triple6)] Charlie is kind.[(triple7)] Dave is not furry.[(triple8)] Dave is not kind.[(triple9)] Dave is quiet.[(triple10)] Dave is round.[(triple11)] Dave is young.[(triple12)]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Dave is not furry.
("Dave" "is" "furry" "-")
triple8
Dave is not kind.
("Dave" "is" "kind" "-")
triple9
Dave is quiet.
("Dave" "is" "quiet" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
triple11
Dave is young.
("Dave" "is" "young" "+")
triple12