The bald eagle sees the dog. The bald eagle sees the squirrel. The cat chases the dog. The cat is green. The dog chases the squirrel. The dog is nice. The squirrel is green. The squirrel is rough. The squirrel sees the bald eagle. The squirrel sees the dog. If someone chases the dog then the dog chases the cat. If someone is big and they see the squirrel then they chase the bald eagle. If someone is nice then they chase the bald eagle. If someone sees the squirrel then the squirrel needs the dog. If someone sees the cat then the cat chases the squirrel. If someone chases the squirrel then they chase the cat. If someone chases the bald eagle and the bald eagle sees the squirrel then the bald eagle chases the squirrel. If someone is big and round then they see the cat.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat is green.
("cat" "is" "green" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is nice.
("dog" "is" "nice" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If someone chases the dog then the dog chases the cat.
((("someone" "chases" "dog" "+")) -> ("dog" "chases" "cat" "+"))
If someone is big and they see the squirrel then they chase the bald eagle.
((("someone" "is" "big" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is nice then they chase the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone sees the squirrel then the squirrel needs the dog.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "needs" "dog" "+"))
If someone sees the cat then the cat chases the squirrel.
((("someone" "sees" "cat" "+")) -> ("cat" "chases" "squirrel" "+"))
If someone chases the squirrel then they chase the cat.
((("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "cat" "+"))
If someone chases the bald eagle and the bald eagle sees the squirrel then the bald eagle chases the squirrel.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "sees" "squirrel" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
If someone is big and round then they see the cat.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "sees" "cat" "+"))
The bald eagle sees the dog.
True
1
proof
[(triple1)]
("bald eagle" "sees" "dog" "+")
triple1
The cat does not chase the dog.
False
1
inv-proof
[(triple3)]
("cat" "chases" "dog" "-")
triple3
The dog chases the cat.
True
2
proof
[(((triple3) -> rule1) OR ((triple5) -> rule6))]
("dog" "chases" "cat" "+")
((triple3) -> (rule1 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
((triple5) -> (rule6 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The squirrel does not need the dog.
False
2
inv-proof
[(((triple2) -> rule4))]
("squirrel" "needs" "dog" "-")
((triple2) -> (rule4 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The bald eagle chases the squirrel.
True
4
proof
[(((((triple6) -> rule3) triple2) -> rule7))]
("bald eagle" "chases" "squirrel" "+")
((((triple6) -> (rule3 % int2)) triple2) -> (rule7 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The bald eagle does not chase the squirrel.
False
4
inv-proof
[(((((triple6) -> rule3) triple2) -> rule7))]
("bald eagle" "chases" "squirrel" "-")
((((triple6) -> (rule3 % int2)) triple2) -> (rule7 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The bald eagle chases the cat.
True
5
proof
[(((((((triple6) -> rule3) triple2) -> rule7)) -> rule6))]
("bald eagle" "chases" "cat" "+")
((((((triple6) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int3
The bald eagle does not chase the cat.
False
5
inv-proof
[(((((((triple6) -> rule3) triple2) -> rule7)) -> rule6))]
("bald eagle" "chases" "cat" "-")
((((((triple6) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int3
The cat does not see the cat.
Unknown
inv-rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "sees" "cat" "-")
The squirrel chases the cat.
Unknown
rconc
[@1: The squirrel chases the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "chases" "cat" "+")
The cat does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "bald eagle" "-")
The cat chases the cat.
Unknown
rconc
[@3: The cat chases the cat.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule8 <- FAIL)]]
("cat" "chases" "cat" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The bald eagle needs the dog.
Unknown
random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The bald eagle sees the dog.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The cat chases the dog.[(triple3)] The cat is green.[(triple4)] The dog chases the squirrel.[(triple5)] The dog is nice.[(triple6)] The squirrel is green.[(triple7)] The squirrel is rough.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel sees the dog.[(triple10)] @1: The dog chases the bald eagle.[(((triple6) -> rule3))] The dog chases the cat.[(((triple3) -> rule1) OR ((triple5) -> rule6))] The squirrel needs the dog.[(((triple2) -> rule4))] @2: The bald eagle chases the squirrel.[(((((triple6) -> rule3) triple2) -> rule7))] @3: The bald eagle chases the cat.[(((((((triple6) -> rule3) triple2) -> rule7)) -> rule6))]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple2
The cat chases the dog.
("cat" "chases" "dog" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple6
The squirrel is green.
("squirrel" "is" "green" "+")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple9
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple10
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
((triple6) -> (rule3 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
((triple3) -> (rule1 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
((triple5) -> (rule6 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
((triple2) -> (rule4 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((((triple6) -> (rule3 % int2)) triple2) -> (rule7 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((((((triple6) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int3