The bald eagle chases the squirrel. The cow chases the squirrel. The dog chases the squirrel. The dog visits the bald eagle. The dog visits the squirrel. The squirrel is big. The squirrel is cold. If someone chases the cow and they eat the dog then they eat the bald eagle. If someone is green and they visit the dog then they eat the bald eagle. If someone visits the bald eagle then the bald eagle visits the dog. Big people are young. If someone is young then they chase the squirrel. If someone chases the squirrel then they visit the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If someone chases the cow and they eat the dog then they eat the bald eagle.
((("someone" "chases" "cow" "+") ("someone" "eats" "dog" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is green and they visit the dog then they eat the bald eagle.
((("someone" "is" "green" "+") ("someone" "visits" "dog" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone visits the bald eagle then the bald eagle visits the dog.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "dog" "+"))
Big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they chase the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone chases the squirrel then they visit the squirrel.
((("someone" "chases" "squirrel" "+")) -> ("someone" "visits" "squirrel" "+"))
The squirrel is cold.
True
1
proof
[(triple7)]
("squirrel" "is" "cold" "+")
triple7
The dog does not visit the squirrel.
False
1
inv-proof
[(triple5 OR ((triple3) -> rule6))]
("dog" "visits" "squirrel" "-")
triple5
((triple3) -> (rule6 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The squirrel is young.
True
2
proof
[(((triple6) -> rule4))]
("squirrel" "is" "young" "+")
((triple6) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bald eagle does not visit the squirrel.
False
2
inv-proof
[(((triple1) -> rule6))]
("bald eagle" "visits" "squirrel" "-")
((triple1) -> (rule6 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
True
3
proof
[(((((triple6) -> rule4)) -> rule5))]
("squirrel" "chases" "squirrel" "+")
((((triple6) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel does not chase the squirrel.
False
3
inv-proof
[(((((triple6) -> rule4)) -> rule5))]
("squirrel" "chases" "squirrel" "-")
((((triple6) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel visits the squirrel.
True
4
proof
[(((((((triple6) -> rule4)) -> rule5)) -> rule6))]
("squirrel" "visits" "squirrel" "+")
((((((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel does not visit the squirrel.
False
4
inv-proof
[(((((((triple6) -> rule4)) -> rule5)) -> rule6))]
("squirrel" "visits" "squirrel" "-")
((((((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "young" "-")
The dog eats the bald eagle.
Unknown
rconc
[@1: The dog eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "bald eagle" "+")
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "young" "-")
The cow eats the bald eagle.
Unknown
rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "bald eagle" "+")
The squirrel does not eat the cow.
Unknown
inv-random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "-")
The bald eagle chases the cow.
Unknown
random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The squirrel eats the dog.
Unknown
random
[@0: The squirrel eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "dog" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The cow chases the squirrel.[(triple2)] The dog chases the squirrel.[(triple3)] The dog visits the bald eagle.[(triple4)] The dog visits the squirrel.[(triple5 OR ((triple3) -> rule6))] The squirrel is big.[(triple6)] The squirrel is cold.[(triple7)] @1: The bald eagle visits the dog.[(((triple4) -> rule3))] The bald eagle visits the squirrel.[(((triple1) -> rule6))] The cow visits the squirrel.[(((triple2) -> rule6))] The squirrel is young.[(((triple6) -> rule4))] @2: The squirrel chases the squirrel.[(((((triple6) -> rule4)) -> rule5))] @3: The squirrel visits the squirrel.[(((((((triple6) -> rule4)) -> rule5)) -> rule6))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple3
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple5
((triple3) -> (rule6 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
((triple4) -> (rule3 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((triple1) -> (rule6 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
((triple2) -> (rule6 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple6) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((((triple6) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((((triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3