Anne is kind. Anne is red. Anne is round. Anne is young. Dave is big. Dave is blue. Dave is kind. Dave is not red. Dave is young. Harry is big. Harry is blue. Harry is not kind. Harry is red. Harry is smart. Harry is young. If something is blue and not big then it is not smart. If something is young and not big then it is not blue.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is young.
("Dave" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is blue and not big then it is not smart.
((("something" "is" "blue" "+") ("something" "is" "big" "~")) -> ("something" "is" "smart" "-"))
If something is young and not big then it is not blue.
((("something" "is" "young" "+") ("something" "is" "big" "~")) -> ("something" "is" "blue" "-"))
Anne is red.
True
1
proof
[(triple2)]
("Anne" "is" "red" "+")
triple2
Harry is not young.
False
1
inv-proof
[(triple15)]
("Harry" "is" "young" "-")
triple15
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is kind.[(triple7)] Dave is not red.[(triple8)] Dave is young.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is not kind.[(triple12)] Harry is red.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15)]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is not red.
("Dave" "is" "red" "-")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is not kind.
("Harry" "is" "kind" "-")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15