The mouse chases the squirrel. The mouse is blue. The mouse is nice. The mouse is young. The mouse likes the squirrel. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is nice. The squirrel likes the mouse. The squirrel visits the mouse. If someone visits the squirrel and the squirrel chases the mouse then they chase the squirrel. If someone visits the squirrel then they like the squirrel.
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone visits the squirrel and the squirrel chases the mouse then they chase the squirrel.
((("someone" "visits" "squirrel" "+") ("squirrel" "chases" "mouse" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone visits the squirrel then they like the squirrel.
((("someone" "visits" "squirrel" "+")) -> ("someone" "likes" "squirrel" "+"))
The mouse is blue.
True
1
proof
[(triple2)]
("mouse" "is" "blue" "+")
triple2
The squirrel does not like the mouse.
False
1
inv-proof
[(triple9)]
("squirrel" "likes" "mouse" "-")
triple9
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The mouse chases the squirrel.[(triple1 OR ((triple6 triple7) -> rule1))] The mouse is blue.[(triple2)] The mouse is nice.[(triple3)] The mouse is young.[(triple4)] The mouse likes the squirrel.[(triple5 OR ((triple6) -> rule2))] The mouse visits the squirrel.[(triple6)] The squirrel chases the mouse.[(triple7)] The squirrel is nice.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel visits the mouse.[(triple10)]
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple1
((triple6 triple7) -> (rule1 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple3
The mouse is young.
("mouse" "is" "young" "+")
triple4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple5
((triple6) -> (rule2 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple6
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple8
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple9
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple10