The mouse eats the rabbit. The mouse eats the squirrel. The mouse is green. The mouse is nice. The mouse visits the rabbit. The rabbit chases the squirrel. The rabbit visits the mouse. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel eats the mouse. The squirrel eats the rabbit. The squirrel is green. The squirrel is red. The squirrel visits the mouse. The squirrel visits the rabbit. If someone chases the squirrel and the squirrel is nice then they are blue. If someone eats the squirrel then they chase the rabbit. If someone eats the rabbit and the rabbit visits the squirrel then they are nice.
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone chases the squirrel and the squirrel is nice then they are blue.
((("someone" "chases" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone eats the squirrel then they chase the rabbit.
((("someone" "eats" "squirrel" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone eats the rabbit and the rabbit visits the squirrel then they are nice.
((("someone" "eats" "rabbit" "+") ("rabbit" "visits" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
The squirrel is red.
True
1
proof
[(triple13)]
("squirrel" "is" "red" "+")
triple13
The squirrel does not visit the mouse.
False
1
inv-proof
[(triple14)]
("squirrel" "visits" "mouse" "-")
triple14
The squirrel is nice.
True
3
proof
[(((triple11 triple8) -> rule3))]
("squirrel" "is" "nice" "+")
((triple11 triple8) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is not nice.
False
3
inv-proof
[(((triple11 triple8) -> rule3))]
("squirrel" "is" "nice" "-")
((triple11 triple8) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The rabbit is blue.
True
5
proof
[(((triple6 ((triple11 triple8) -> rule3)) -> rule1))]
("rabbit" "is" "blue" "+")
((triple6 ((triple11 triple8) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The rabbit is not blue.
False
5
inv-proof
[(((triple6 ((triple11 triple8) -> rule3)) -> rule1))]
("rabbit" "is" "blue" "-")
((triple6 ((triple11 triple8) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "blue" "-")
The rabbit is nice.
Unknown
rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "nice" "+")
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "blue" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The mouse chases the squirrel.
Unknown
random
[@0: The mouse chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "squirrel" "+")
@0: The mouse eats the rabbit.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse is green.[(triple3)] The mouse is nice.[(triple4 OR ((triple1 triple8) -> rule3))] The mouse visits the rabbit.[(triple5)] The rabbit chases the squirrel.[(triple6)] The rabbit visits the mouse.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel eats the rabbit.[(triple11)] The squirrel is green.[(triple12)] The squirrel is red.[(triple13)] The squirrel visits the mouse.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The mouse chases the rabbit.[(((triple2) -> rule2))] The squirrel is nice.[(((triple11 triple8) -> rule3))] @2: The rabbit is blue.[(((triple6 ((triple11 triple8) -> rule3)) -> rule1))]
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
((triple1 triple8) -> (rule3 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple5
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple6
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple7
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple8
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple9
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple10
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple15
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
((triple2) -> (rule2 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple11 triple8) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple6 ((triple11 triple8) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2