The mouse is blue. The mouse is not green. The mouse is not red. If the mouse is red then the mouse is nice. If someone is green and round then they are blue. All round people are not green.
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse is not red.
("mouse" "is" "red" "-")
If the mouse is red then the mouse is nice.
((("mouse" "is" "red" "+")) -> ("mouse" "is" "nice" "+"))
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
All round people are not green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "-"))
The mouse is not green.
True
1
proof
[(triple2)]
("mouse" "is" "green" "-")
triple2
The mouse is red.
False
1
inv-proof
[(triple3)]
("mouse" "is" "red" "+")
triple3
The mouse is not nice.
Unknown
inv-rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "nice" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The mouse is blue.[(triple1)] The mouse is not green.[(triple2)] The mouse is not red.[(triple3)]
The mouse is blue.
("mouse" "is" "blue" "+")
triple1
The mouse is not green.
("mouse" "is" "green" "-")
triple2
The mouse is not red.
("mouse" "is" "red" "-")
triple3