Erin is rough. Fiona is round. If something is white and red then it is green. Rough, round things are big. If Erin is white and Erin is green then Erin is red. If something is green then it is round. If something is white then it is red. If something is green and white then it is red.
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is white and red then it is green.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Rough, round things are big.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If Erin is white and Erin is green then Erin is red.
((("Erin" "is" "white" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "red" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is white then it is red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
If something is green and white then it is red.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Erin is rough.
True
1
proof
[(triple1)]
("Erin" "is" "rough" "+")
triple1
Erin is not rough.
False
1
inv-proof
[(triple1)]
("Erin" "is" "rough" "-")
triple1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Erin is rough.[(triple1)] Fiona is round.[(triple2)]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2