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