The mouse is green. The mouse is nice. The mouse is rough. If someone is nice and young then they are big. Big, rough people are green.
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
If someone is nice and young then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Big, rough people are green.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
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 big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "big" "-")
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 nice.[(triple2)] The mouse is rough.[(triple3)]
The mouse is green.
("mouse" "is" "green" "+")
triple1
The mouse is nice.
("mouse" "is" "nice" "+")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple3