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