Anne is quiet. Bob is cold. Dave is not cold. Young people are big. All big people are cold. If someone is kind and not young then they are red.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
All big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and not young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "red" "+"))
Dave is not cold.
True
1
proof
[(triple3)]
("Dave" "is" "cold" "-")
triple3
Anne is not quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Anne is quiet.[(triple1)] Bob is cold.[(triple2)] Dave is not cold.[(triple3)]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Dave is not cold.
("Dave" "is" "cold" "-")
triple3