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