The bald eagle is nice. The bald eagle visits the cat. The bald eagle visits the squirrel. The bear chases the bald eagle. The cat chases the bald eagle. The cat visits the bald eagle. The cat visits the squirrel. The squirrel chases the cat. The squirrel eats the bear. The squirrel is kind. The squirrel is nice. The squirrel visits the bald eagle. If someone chases the bald eagle then the bald eagle chases the cat. If someone eats the cat then they are red. If someone visits the bear then they eat the cat. If someone visits the squirrel then the squirrel visits the bear. If the cat visits the bald eagle then the bald eagle eats the squirrel. If someone chases the bear then they eat the bear.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone chases the bald eagle then the bald eagle chases the cat.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "+"))
If someone eats the cat then they are red.
((("someone" "eats" "cat" "+")) -> ("someone" "is" "red" "+"))
If someone visits the bear then they eat the cat.
((("someone" "visits" "bear" "+")) -> ("someone" "eats" "cat" "+"))
If someone visits the squirrel then the squirrel visits the bear.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
If the cat visits the bald eagle then the bald eagle eats the squirrel.
((("cat" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
If someone chases the bear then they eat the bear.
((("someone" "chases" "bear" "+")) -> ("someone" "eats" "bear" "+"))
The bald eagle visits the cat.
True
1
proof
[(triple2)]
("bald eagle" "visits" "cat" "+")
triple2
The squirrel does not visit the bald eagle.
False
1
inv-proof
[(triple12)]
("squirrel" "visits" "bald eagle" "-")
triple12
The bald eagle chases the cat.
True
2
proof
[(((triple4) -> rule1) OR ((triple5) -> rule1))]
("bald eagle" "chases" "cat" "+")
((triple4) -> (rule1 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
((triple5) -> (rule1 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle does not eat the squirrel.
False
2
inv-proof
[(((triple6) -> rule5))]
("bald eagle" "eats" "squirrel" "-")
((triple6) -> (rule5 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The squirrel eats the cat.
True
3
proof
[(((((triple3) -> rule4)) -> rule3) OR ((((triple7) -> rule4)) -> rule3))]
("squirrel" "eats" "cat" "+")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The squirrel does not eat the cat.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule3) OR ((((triple7) -> rule4)) -> rule3))]
("squirrel" "eats" "cat" "-")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The squirrel is red.
True
4
proof
[(((((((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((triple7) -> rule4)) -> rule3)) -> rule2))]
("squirrel" "is" "red" "+")
((((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int3
The squirrel is not red.
False
4
inv-proof
[(((((((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((triple7) -> rule4)) -> rule3)) -> rule2))]
("squirrel" "is" "red" "-")
((((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int3
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "eats" "cat" "-")
The bear is red.
Unknown
rconc
[@2: The bear is red.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("bear" "is" "red" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@2: The bald eagle is red.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("bald eagle" "is" "red" "-")
The bear eats the bear.
Unknown
rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "eats" "bear" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The squirrel does not visit the cat.
Unknown
inv-random
[@0: The squirrel visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "cat" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle visits the cat.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The bear chases the bald eagle.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat visits the bald eagle.[(triple6)] The cat visits the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel eats the bear.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is nice.[(triple11)] The squirrel visits the bald eagle.[(triple12)] @1: The bald eagle chases the cat.[(((triple4) -> rule1) OR ((triple5) -> rule1))] The bald eagle eats the squirrel.[(((triple6) -> rule5))] The squirrel visits the bear.[(((triple3) -> rule4) OR ((triple7) -> rule4))] @2: The squirrel eats the cat.[(((((triple3) -> rule4)) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] @3: The squirrel is red.[(((((((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((triple7) -> rule4)) -> rule3)) -> rule2))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple6
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple7
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple8
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple12
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((triple4) -> (rule1 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
((triple5) -> (rule1 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
((triple6) -> (rule5 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
((triple3) -> (rule4 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
((triple7) -> (rule4 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
((((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int3