The mouse is green. If something is young and blue then it is green. All blue, young things are not green. All round, big things are green. If the mouse is big then the mouse is not round. Blue things are not big. Big things are blue. If the mouse is big and the mouse is blue then the mouse is not green. Big things are not young.
The mouse is green.
("mouse" "is" "green" "+")
If something is young and blue then it is green.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
All blue, young things are not green.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "-"))
All round, big things are green.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If the mouse is big then the mouse is not round.
((("mouse" "is" "big" "+")) -> ("mouse" "is" "round" "-"))
Blue things are not big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "-"))
Big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If the mouse is big and the mouse is blue then the mouse is not green.
((("mouse" "is" "big" "+") ("mouse" "is" "blue" "+")) -> ("mouse" "is" "green" "-"))
Big things are not young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "-"))
The mouse is green.
True
1
proof
[(triple1)]
("mouse" "is" "green" "+")
triple1
The mouse is not green.
False
1
inv-proof
[(triple1)]
("mouse" "is" "green" "-")
triple1
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "blue" "-")
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 green.[(triple1)]
The mouse is green.
("mouse" "is" "green" "+")
triple1