The mouse is big. The mouse is cold. The mouse is green. The mouse is nice. The mouse is young. The mouse likes the squirrel. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel is big. The squirrel is not cold. The squirrel is green. The squirrel is nice. The squirrel is young. The squirrel likes the mouse. The squirrel needs the mouse. The squirrel sees the mouse. If something is big then it needs the mouse. If the squirrel does not need the mouse then the squirrel likes the mouse. If something needs the squirrel and it likes the squirrel then the squirrel sees the mouse. If something is green and it sees the mouse then the mouse sees the squirrel. If something sees the mouse and the mouse does not need the squirrel then the mouse sees the squirrel. If something likes the squirrel and it is not cold then it sees the squirrel. If something is young and it needs the squirrel then it sees the squirrel. If something is big and it does not like the mouse then it likes the squirrel.
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If something is big then it needs the mouse.
((("something" "is" "big" "+")) -> ("something" "needs" "mouse" "+"))
If the squirrel does not need the mouse then the squirrel likes the mouse.
((("squirrel" "needs" "mouse" "~")) -> ("squirrel" "likes" "mouse" "+"))
If something needs the squirrel and it likes the squirrel then the squirrel sees the mouse.
((("something" "needs" "squirrel" "+") ("something" "likes" "squirrel" "+")) -> ("squirrel" "sees" "mouse" "+"))
If something is green and it sees the mouse then the mouse sees the squirrel.
((("something" "is" "green" "+") ("something" "sees" "mouse" "+")) -> ("mouse" "sees" "squirrel" "+"))
If something sees the mouse and the mouse does not need the squirrel then the mouse sees the squirrel.
((("something" "sees" "mouse" "+") ("mouse" "needs" "squirrel" "~")) -> ("mouse" "sees" "squirrel" "+"))
If something likes the squirrel and it is not cold then it sees the squirrel.
((("something" "likes" "squirrel" "+") ("something" "is" "cold" "~")) -> ("something" "sees" "squirrel" "+"))
If something is young and it needs the squirrel then it sees the squirrel.
((("something" "is" "young" "+") ("something" "needs" "squirrel" "+")) -> ("something" "sees" "squirrel" "+"))
If something is big and it does not like the mouse then it likes the squirrel.
((("something" "is" "big" "+") ("something" "likes" "mouse" "~")) -> ("something" "likes" "squirrel" "+"))
The squirrel is young.
True
1
proof
[(triple13)]
("squirrel" "is" "young" "+")
triple13
The mouse is not big.
False
1
inv-proof
[(triple1)]
("mouse" "is" "big" "-")
triple1
The mouse needs the mouse.
True
2
proof
[(((triple1) -> rule1))]
("mouse" "needs" "mouse" "+")
((triple1) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse does not need the mouse.
False
2
inv-proof
[(((triple1) -> rule1))]
("mouse" "needs" "mouse" "-")
((triple1) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is nice.[(triple4)] The mouse is young.[(triple5)] The mouse likes the squirrel.[(triple6)] The mouse needs the squirrel.[(triple7)] The mouse sees the squirrel.[(triple8 OR ((triple11 triple16) -> rule4) OR ((triple5 triple7) -> rule7) OR ((triple11 ((triple7 triple6) -> rule3)) -> rule4))] The squirrel is big.[(triple9)] The squirrel is green.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is not cold.[(triple10)] The squirrel is young.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel needs the mouse.[(triple15 OR ((triple9) -> rule1))] The squirrel sees the mouse.[(triple16 OR ((triple7 triple6) -> rule3))] @1: The mouse needs the mouse.[(((triple1) -> rule1))]
The mouse is big.
("mouse" "is" "big" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple6
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple7
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple8
((triple11 triple16) -> (rule4 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
((triple5 triple7) -> (rule7 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
((triple11 ((triple7 triple6) -> (rule3 % int2))) -> (rule4 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple10
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple14
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
((triple9) -> (rule1 % int1))
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
int1
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple16
((triple7 triple6) -> (rule3 % int1))
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple1) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1