The cow chases the lion. The cow is green. The cow likes the lion. The lion eats the cow. The lion eats the squirrel. The squirrel chases the cow. The squirrel is big. The squirrel is blue. The squirrel likes the cow. The squirrel likes the lion. If the lion likes the cow then the lion is round. If the lion chases the cow then the lion eats the cow. If someone eats the cow then the cow likes the squirrel. If the cow eats the lion then the lion likes the squirrel. If the squirrel likes the lion then the lion eats the cow. If someone likes the cow and the cow chases the squirrel then they chase the squirrel.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
If the lion likes the cow then the lion is round.
((("lion" "likes" "cow" "+")) -> ("lion" "is" "round" "+"))
If the lion chases the cow then the lion eats the cow.
((("lion" "chases" "cow" "+")) -> ("lion" "eats" "cow" "+"))
If someone eats the cow then the cow likes the squirrel.
((("someone" "eats" "cow" "+")) -> ("cow" "likes" "squirrel" "+"))
If the cow eats the lion then the lion likes the squirrel.
((("cow" "eats" "lion" "+")) -> ("lion" "likes" "squirrel" "+"))
If the squirrel likes the lion then the lion eats the cow.
((("squirrel" "likes" "lion" "+")) -> ("lion" "eats" "cow" "+"))
If someone likes the cow and the cow chases the squirrel then they chase the squirrel.
((("someone" "likes" "cow" "+") ("cow" "chases" "squirrel" "+")) -> ("someone" "chases" "squirrel" "+"))
The cow is green.
True
1
proof
[(triple2)]
("cow" "is" "green" "+")
triple2
The squirrel is not blue.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "blue" "-")
triple8
The cow likes the squirrel.
True
2
proof
[(((triple4) -> rule3) OR ((((triple10) -> rule5)) -> rule3))]
("cow" "likes" "squirrel" "+")
((triple4) -> (rule3 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The cow does not like the squirrel.
False
2
inv-proof
[(((triple4) -> rule3) OR ((((triple10) -> rule5)) -> rule3))]
("cow" "likes" "squirrel" "-")
((triple4) -> (rule3 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The lion does not chase the squirrel.
Unknown
inv-rconc
[@1: The lion chases the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "chases" "squirrel" "-")
The lion is round.
Unknown
rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "round" "+")
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The cow chases the lion.[(triple1)] The cow is green.[(triple2)] The cow likes the lion.[(triple3)] The lion eats the cow.[(triple4 OR ((triple10) -> rule5))] The lion eats the squirrel.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel is big.[(triple7)] The squirrel is blue.[(triple8)] The squirrel likes the cow.[(triple9)] The squirrel likes the lion.[(triple10)] @1: The cow likes the squirrel.[(((triple4) -> rule3) OR ((((triple10) -> rule5)) -> rule3))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow likes the lion.
("cow" "likes" "lion" "+")
triple3
The lion eats the cow.
("lion" "eats" "cow" "+")
triple4
((triple10) -> (rule5 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple9
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple10
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
((triple4) -> (rule3 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2