The bald eagle chases the cat. The cat is not green. The cat is round. The cat likes the bald eagle. The dog does not chase the squirrel. The dog does not visit the cat. The squirrel is green. The squirrel is young. The squirrel likes the dog. The squirrel does not visit the bald eagle. If the cat visits the squirrel and the cat is round then the squirrel is red. If the cat likes the squirrel then the cat does not visit the dog. If the cat visits the dog and the dog visits the cat then the dog chases the bald eagle. If someone chases the cat then they do not like the bald eagle. If someone chases the cat then the cat is red. If someone chases the dog then they visit the squirrel. If someone is red then they chase the dog.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
The dog does not visit the cat.
("dog" "visits" "cat" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
If the cat visits the squirrel and the cat is round then the squirrel is red.
((("cat" "visits" "squirrel" "+") ("cat" "is" "round" "+")) -> ("squirrel" "is" "red" "+"))
If the cat likes the squirrel then the cat does not visit the dog.
((("cat" "likes" "squirrel" "+")) -> ("cat" "visits" "dog" "-"))
If the cat visits the dog and the dog visits the cat then the dog chases the bald eagle.
((("cat" "visits" "dog" "+") ("dog" "visits" "cat" "+")) -> ("dog" "chases" "bald eagle" "+"))
If someone chases the cat then they do not like the bald eagle.
((("someone" "chases" "cat" "+")) -> ("someone" "likes" "bald eagle" "-"))
If someone chases the cat then the cat is red.
((("someone" "chases" "cat" "+")) -> ("cat" "is" "red" "+"))
If someone chases the dog then they visit the squirrel.
((("someone" "chases" "dog" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone is red then they chase the dog.
((("someone" "is" "red" "+")) -> ("someone" "chases" "dog" "+"))
The squirrel likes the dog.
True
1
proof
[(triple9)]
("squirrel" "likes" "dog" "+")
triple9
The squirrel is not young.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "young" "-")
triple8
The bald eagle does not like the bald eagle.
True
2
proof
[(((triple1) -> rule4))]
("bald eagle" "likes" "bald eagle" "-")
((triple1) -> (rule4 % int1))
The bald eagle does not like the bald eagle.
("bald eagle" "likes" "bald eagle" "-")
int1
The cat is not red.
False
2
inv-proof
[(((triple1) -> rule5))]
("cat" "is" "red" "-")
((triple1) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat chases the dog.
True
3
proof
[(((((triple1) -> rule5)) -> rule7))]
("cat" "chases" "dog" "+")
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat does not chase the dog.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule7))]
("cat" "chases" "dog" "-")
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat visits the squirrel.
True
4
proof
[(((((((triple1) -> rule5)) -> rule7)) -> rule6))]
("cat" "visits" "squirrel" "+")
((((((triple1) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The cat does not visit the squirrel.
False
4
inv-proof
[(((((((triple1) -> rule5)) -> rule7)) -> rule6))]
("cat" "visits" "squirrel" "-")
((((((triple1) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The squirrel is red.
True
6
proof
[(((((((((triple1) -> rule5)) -> rule7)) -> rule6) triple3) -> rule1))]
("squirrel" "is" "red" "+")
((((((((triple1) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple3) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int2
The cat chases the dog.
("cat" "chases" "dog" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The squirrel is not red.
False
6
inv-proof
[(((((((((triple1) -> rule5)) -> rule7)) -> rule6) triple3) -> rule1))]
("squirrel" "is" "red" "-")
((((((((triple1) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple3) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int2
The cat chases the dog.
("cat" "chases" "dog" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The squirrel chases the dog.
True
7
proof
[(((((((((((triple1) -> rule5)) -> rule7)) -> rule6) triple3) -> rule1)) -> rule7))]
("squirrel" "chases" "dog" "+")
((((((((((triple1) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) triple3) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int3
The cat chases the dog.
("cat" "chases" "dog" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
The squirrel does not chase the dog.
False
7
inv-proof
[(((((((((((triple1) -> rule5)) -> rule7)) -> rule6) triple3) -> rule1)) -> rule7))]
("squirrel" "chases" "dog" "-")
((((((((((triple1) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) triple3) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int3
The cat chases the dog.
("cat" "chases" "dog" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
The dog does not visit the squirrel.
Unknown
inv-rconc
[@2: The dog visits the squirrel.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("dog" "visits" "squirrel" "-")
The dog chases the dog.
Unknown
rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "chases" "dog" "+")
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@1: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The dog chases the bald eagle.
Unknown
rconc
[@1: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "bald eagle" "+")
The bald eagle does not visit the squirrel.
Unknown
inv-rconc
[@2: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The bald eagle likes the cat.
Unknown
random
[@0: The bald eagle likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cat" "+")
The bald eagle does not visit the cat.
Unknown
inv-random
[@0: The bald eagle visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cat" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The bald eagle chases the cat.[(triple1)] The cat is not green.[(triple2)] The cat is round.[(triple3)] The cat likes the bald eagle.[(triple4)] The dog does not chase the squirrel.[(triple5)] The dog does not visit the cat.[(triple6)] The squirrel does not visit the bald eagle.[(triple10)] The squirrel is green.[(triple7)] The squirrel is young.[(triple8)] The squirrel likes the dog.[(triple9)] @1: The bald eagle does not like the bald eagle.[(((triple1) -> rule4))] The cat is red.[(((triple1) -> rule5))] @2: The cat chases the dog.[(((((triple1) -> rule5)) -> rule7))] @3: The cat visits the squirrel.[(((((((triple1) -> rule5)) -> rule7)) -> rule6))] @4: The squirrel is red.[(((((((((triple1) -> rule5)) -> rule7)) -> rule6) triple3) -> rule1))] @5: The squirrel chases the dog.[(((((((((((triple1) -> rule5)) -> rule7)) -> rule6) triple3) -> rule1)) -> rule7))] @6: The squirrel visits the squirrel.[(((((((((((((triple1) -> rule5)) -> rule7)) -> rule6) triple3) -> rule1)) -> rule7)) -> rule6))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The cat is not green.
("cat" "is" "green" "-")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple4
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
triple5
The dog does not visit the cat.
("dog" "visits" "cat" "-")
triple6
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple9
The bald eagle does not like the bald eagle.
("bald eagle" "likes" "bald eagle" "-")
((triple1) -> (rule4 % int1))
The bald eagle does not like the bald eagle.
("bald eagle" "likes" "bald eagle" "-")
int1
The cat is red.
("cat" "is" "red" "+")
((triple1) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
((((((triple1) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
((((((((triple1) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple3) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int2
The cat chases the dog.
("cat" "chases" "dog" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((((((((((triple1) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) triple3) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int3
The cat chases the dog.
("cat" "chases" "dog" "+")
int4
The cat is red.
("cat" "is" "red" "+")
int5
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((((((((((triple1) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int4
The cat chases the dog.
("cat" "chases" "dog" "+")
int5
The cat is red.
("cat" "is" "red" "+")
int6