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