Anne is red. Anne is not rough. Anne is not young. Dave is not big. Dave is blue. Dave is young. Erin is not round. If someone is red and not round then they are cold. If Anne is young then Anne is not rough.
Anne is red.
("Anne" "is" "red" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is not young.
("Anne" "is" "young" "-")
Dave is not big.
("Dave" "is" "big" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is not round.
("Erin" "is" "round" "-")
If someone is red and not round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "cold" "+"))
If Anne is young then Anne is not rough.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "rough" "-"))
Dave is blue.
True
1
proof
[(triple5)]
("Dave" "is" "blue" "+")
triple5
Dave is big.
False
1
inv-proof
[(triple4)]
("Dave" "is" "big" "+")
triple4
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Anne is not rough.[(triple2)] Anne is not young.[(triple3)] Anne is red.[(triple1)] Dave is blue.[(triple5)] Dave is not big.[(triple4)] Dave is young.[(triple6)] Erin is not round.[(triple7)]
Anne is not rough.
("Anne" "is" "rough" "-")
triple2
Anne is not young.
("Anne" "is" "young" "-")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is not big.
("Dave" "is" "big" "-")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple6
Erin is not round.
("Erin" "is" "round" "-")
triple7