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