The cow chases the squirrel. The cow chases the tiger. The cow eats the squirrel. The cow eats the tiger. The cow is green. The cow is round. The lion chases the tiger. The squirrel chases the cow. The squirrel chases the lion. The squirrel is green. The squirrel visits the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is cold. The tiger is red. The tiger is rough. If the cow is round and the cow is rough then the cow chases the squirrel. If someone visits the tiger and the tiger is red then they chase the tiger. If someone is round and they eat the cow then the cow visits the tiger. If the cow eats the squirrel then the cow eats the tiger. If someone is round and they visit the squirrel then the squirrel chases the lion. If someone chases the tiger then they are cold. If someone visits the squirrel then the squirrel chases the cow. If someone is green and they visit the squirrel then the squirrel is green.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is round.
("cow" "is" "round" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If the cow is round and the cow is rough then the cow chases the squirrel.
((("cow" "is" "round" "+") ("cow" "is" "rough" "+")) -> ("cow" "chases" "squirrel" "+"))
If someone visits the tiger and the tiger is red then they chase the tiger.
((("someone" "visits" "tiger" "+") ("tiger" "is" "red" "+")) -> ("someone" "chases" "tiger" "+"))
If someone is round and they eat the cow then the cow visits the tiger.
((("someone" "is" "round" "+") ("someone" "eats" "cow" "+")) -> ("cow" "visits" "tiger" "+"))
If the cow eats the squirrel then the cow eats the tiger.
((("cow" "eats" "squirrel" "+")) -> ("cow" "eats" "tiger" "+"))
If someone is round and they visit the squirrel then the squirrel chases the lion.
((("someone" "is" "round" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "chases" "lion" "+"))
If someone chases the tiger then they are cold.
((("someone" "chases" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If someone visits the squirrel then the squirrel chases the cow.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "chases" "cow" "+"))
If someone is green and they visit the squirrel then the squirrel is green.
((("someone" "is" "green" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
The cow eats the tiger.
True
1
proof
[(triple4 OR ((triple3) -> rule4))]
("cow" "eats" "tiger" "+")
triple4
((triple3) -> (rule4 % int1))
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int1
The lion does not chase the tiger.
False
1
inv-proof
[(triple7)]
("lion" "chases" "tiger" "-")
triple7
The lion is cold.
True
2
proof
[(((triple7) -> rule6))]
("lion" "is" "cold" "+")
((triple7) -> (rule6 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The squirrel does not chase the tiger.
False
3
inv-proof
[(((triple11 triple15) -> rule2))]
("squirrel" "chases" "tiger" "-")
((triple11 triple15) -> (rule2 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel is cold.
True
4
proof
[(((((triple11 triple15) -> rule2)) -> rule6))]
("squirrel" "is" "cold" "+")
((((triple11 triple15) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel is not cold.
False
4
inv-proof
[(((((triple11 triple15) -> rule2)) -> rule6))]
("squirrel" "is" "cold" "-")
((((triple11 triple15) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The cow visits the tiger.
Unknown
rconc
[@1: The cow visits the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "visits" "tiger" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The lion eats the cow.
Unknown
random
[@0: The lion eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "cow" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The cow chases the squirrel.[(triple1)] The cow chases the tiger.[(triple2)] The cow eats the squirrel.[(triple3)] The cow eats the tiger.[(triple4 OR ((triple3) -> rule4))] The cow is green.[(triple5)] The cow is round.[(triple6)] The lion chases the tiger.[(triple7)] The squirrel chases the cow.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel is green.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger chases the squirrel.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger is cold.[(triple14)] The tiger is red.[(triple15)] The tiger is rough.[(triple16)] @1: The cow is cold.[(((triple2) -> rule6))] The lion is cold.[(((triple7) -> rule6))] The squirrel chases the tiger.[(((triple11 triple15) -> rule2))] @2: The squirrel is cold.[(((((triple11 triple15) -> rule2)) -> rule6))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple2
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple3
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple4
((triple3) -> (rule4 % int1))
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int1
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple7
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple8
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple11
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple12
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple13
The tiger is cold.
("tiger" "is" "cold" "+")
triple14
The tiger is red.
("tiger" "is" "red" "+")
triple15
The tiger is rough.
("tiger" "is" "rough" "+")
triple16
The cow is cold.
("cow" "is" "cold" "+")
((triple2) -> (rule6 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
((triple7) -> (rule6 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
((triple11 triple15) -> (rule2 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((triple11 triple15) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2