The cat chases the cow. The cat chases the lion. The cat chases the squirrel. The cat needs the cow. The cat visits the squirrel. The cow chases the lion. The cow needs the squirrel. The lion chases the cow. The lion is cold. The lion is round. The lion needs the squirrel. The lion visits the cow. The squirrel is cold. The squirrel needs the cow. The squirrel needs the lion. If someone chases the cow then the cow chases the cat. If someone chases the cat then they visit the cow.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If someone chases the cow then the cow chases the cat.
((("someone" "chases" "cow" "+")) -> ("cow" "chases" "cat" "+"))
If someone chases the cat then they visit the cow.
((("someone" "chases" "cat" "+")) -> ("someone" "visits" "cow" "+"))
The squirrel needs the lion.
True
1
proof
[(triple15)]
("squirrel" "needs" "lion" "+")
triple15
The cat does not visit the squirrel.
False
1
inv-proof
[(triple5)]
("cat" "visits" "squirrel" "-")
triple5
The cow chases the cat.
True
2
proof
[(((triple1) -> rule1) OR ((triple8) -> rule1))]
("cow" "chases" "cat" "+")
((triple1) -> (rule1 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
((triple8) -> (rule1 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cow does not chase the cat.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple8) -> rule1))]
("cow" "chases" "cat" "-")
((triple1) -> (rule1 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
((triple8) -> (rule1 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The squirrel does not visit the cow.
Unknown
inv-rconc
[@1: The squirrel visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "cow" "-")
The cat visits the cow.
Unknown
rconc
[@1: The cat visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "visits" "cow" "+")
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The lion needs the cow.
Unknown
random
[@0: The lion needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "cow" "+")
@0: The cat chases the cow.[(triple1)] The cat chases the lion.[(triple2)] The cat chases the squirrel.[(triple3)] The cat needs the cow.[(triple4)] The cat visits the squirrel.[(triple5)] The cow chases the lion.[(triple6)] The cow needs the squirrel.[(triple7)] The lion chases the cow.[(triple8)] The lion is cold.[(triple9)] The lion is round.[(triple10)] The lion needs the squirrel.[(triple11)] The lion visits the cow.[(triple12)] The squirrel is cold.[(triple13)] The squirrel needs the cow.[(triple14)] The squirrel needs the lion.[(triple15)] @1: The cow chases the cat.[(((triple1) -> rule1) OR ((triple8) -> rule1))] @2: The cow visits the cow.[(((((triple1) -> rule1)) -> rule2) OR ((((triple8) -> rule1)) -> rule2))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat chases the lion.
("cat" "chases" "lion" "+")
triple2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple3
The cat needs the cow.
("cat" "needs" "cow" "+")
triple4
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple5
The cow chases the lion.
("cow" "chases" "lion" "+")
triple6
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple7
The lion chases the cow.
("lion" "chases" "cow" "+")
triple8
The lion is cold.
("lion" "is" "cold" "+")
triple9
The lion is round.
("lion" "is" "round" "+")
triple10
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple11
The lion visits the cow.
("lion" "visits" "cow" "+")
triple12
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple13
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple14
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple15
The cow chases the cat.
("cow" "chases" "cat" "+")
((triple1) -> (rule1 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
((triple8) -> (rule1 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2