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