The cow chases the lion. The cow chases the mouse. The cow eats the squirrel. The cow is young. The lion chases the cow. The lion chases the squirrel. The lion eats the cow. The lion eats the squirrel. The lion likes the cow. The lion likes the mouse. The mouse eats the squirrel. The mouse is blue. The mouse is rough. The squirrel eats the cow. The squirrel eats the lion. The squirrel likes the cow. If someone is blue then they eat the cow.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is young.
("cow" "is" "young" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If someone is blue then they eat the cow.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "cow" "+"))
The lion eats the squirrel.
True
1
proof
[(triple8)]
("lion" "eats" "squirrel" "+")
triple8
The lion does not chase the cow.
False
1
inv-proof
[(triple5)]
("lion" "chases" "cow" "-")
triple5
The mouse eats the cow.
True
2
proof
[(((triple12) -> rule1))]
("mouse" "eats" "cow" "+")
((triple12) -> (rule1 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The mouse does not eat the cow.
False
2
inv-proof
[(((triple12) -> rule1))]
("mouse" "eats" "cow" "-")
((triple12) -> (rule1 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cow" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The cow does not eat the lion.
Unknown
inv-random
[@0: The cow eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "lion" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cow chases the lion.[(triple1)] The cow chases the mouse.[(triple2)] The cow eats the squirrel.[(triple3)] The cow is young.[(triple4)] The lion chases the cow.[(triple5)] The lion chases the squirrel.[(triple6)] The lion eats the cow.[(triple7)] The lion eats the squirrel.[(triple8)] The lion likes the cow.[(triple9)] The lion likes the mouse.[(triple10)] The mouse eats the squirrel.[(triple11)] The mouse is blue.[(triple12)] The mouse is rough.[(triple13)] The squirrel eats the cow.[(triple14)] The squirrel eats the lion.[(triple15)] The squirrel likes the cow.[(triple16)] @1: The mouse eats the cow.[(((triple12) -> rule1))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple2
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The lion chases the cow.
("lion" "chases" "cow" "+")
triple5
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple6
The lion eats the cow.
("lion" "eats" "cow" "+")
triple7
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple8
The lion likes the cow.
("lion" "likes" "cow" "+")
triple9
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple10
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple11
The mouse is blue.
("mouse" "is" "blue" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple14
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple15
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple16
The mouse eats the cow.
("mouse" "eats" "cow" "+")
((triple12) -> (rule1 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1