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