The bald eagle is green. The bald eagle is not round. The bald eagle likes the squirrel. The cat does not chase the rabbit. The cat is not green. The cat is not round. The cat likes the bald eagle. The cat does not like the rabbit. The cat visits the squirrel. The rabbit chases the bald eagle. The rabbit is red. The rabbit is round. The rabbit likes the cat. The rabbit likes the squirrel. The squirrel chases the cat. The squirrel visits the bald eagle. If something likes the rabbit and the rabbit likes the cat then the cat visits the bald eagle. If the rabbit likes the bald eagle then the bald eagle likes the rabbit. If the bald eagle visits the cat and the cat visits the rabbit then the bald eagle visits the squirrel. If something chases the bald eagle then the bald eagle chases the rabbit. If the squirrel likes the rabbit and the squirrel does not like the cat then the squirrel likes the bald eagle. If something is nice then it chases the cat. If something visits the bald eagle then it chases the squirrel. If something is green then it visits the cat. If the bald eagle chases the rabbit then the rabbit likes the bald eagle.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cat does not chase the rabbit.
("cat" "chases" "rabbit" "-")
The cat is not green.
("cat" "is" "green" "-")
The cat is not round.
("cat" "is" "round" "-")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something likes the rabbit and the rabbit likes the cat then the cat visits the bald eagle.
((("something" "likes" "rabbit" "+") ("rabbit" "likes" "cat" "+")) -> ("cat" "visits" "bald eagle" "+"))
If the rabbit likes the bald eagle then the bald eagle likes the rabbit.
((("rabbit" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If the bald eagle visits the cat and the cat visits the rabbit then the bald eagle visits the squirrel.
((("bald eagle" "visits" "cat" "+") ("cat" "visits" "rabbit" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If something chases the bald eagle then the bald eagle chases the rabbit.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If the squirrel likes the rabbit and the squirrel does not like the cat then the squirrel likes the bald eagle.
((("squirrel" "likes" "rabbit" "+") ("squirrel" "likes" "cat" "~")) -> ("squirrel" "likes" "bald eagle" "+"))
If something is nice then it chases the cat.
((("something" "is" "nice" "+")) -> ("something" "chases" "cat" "+"))
If something visits the bald eagle then it chases the squirrel.
((("something" "visits" "bald eagle" "+")) -> ("something" "chases" "squirrel" "+"))
If something is green then it visits the cat.
((("something" "is" "green" "+")) -> ("something" "visits" "cat" "+"))
If the bald eagle chases the rabbit then the rabbit likes the bald eagle.
((("bald eagle" "chases" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
The rabbit is round.
True
1
proof
[(triple12)]
("rabbit" "is" "round" "+")
triple12
The squirrel does not chase the cat.
False
1
inv-proof
[(triple15)]
("squirrel" "chases" "cat" "-")
triple15
The squirrel chases the squirrel.
True
2
proof
[(((triple16) -> rule7))]
("squirrel" "chases" "squirrel" "+")
((triple16) -> (rule7 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The bald eagle does not visit the cat.
False
2
inv-proof
[(((triple1) -> rule8))]
("bald eagle" "visits" "cat" "-")
((triple1) -> (rule8 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The rabbit likes the bald eagle.
True
3
proof
[(((((triple10) -> rule4)) -> rule9))]
("rabbit" "likes" "bald eagle" "+")
((((triple10) -> (rule4 % int2))) -> (rule9 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The rabbit does not like the bald eagle.
False
3
inv-proof
[(((((triple10) -> rule4)) -> rule9))]
("rabbit" "likes" "bald eagle" "-")
((((triple10) -> (rule4 % int2))) -> (rule9 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle likes the rabbit.
True
4
proof
[(((((((triple10) -> rule4)) -> rule9)) -> rule2))]
("bald eagle" "likes" "rabbit" "+")
((((((triple10) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The bald eagle does not like the rabbit.
False
4
inv-proof
[(((((((triple10) -> rule4)) -> rule9)) -> rule2))]
("bald eagle" "likes" "rabbit" "-")
((((((triple10) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The cat visits the bald eagle.
True
6
proof
[(((((((((triple10) -> rule4)) -> rule9)) -> rule2) triple13) -> rule1))]
("cat" "visits" "bald eagle" "+")
((((((((triple10) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) triple13) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int4
The cat does not visit the bald eagle.
False
6
inv-proof
[(((((((((triple10) -> rule4)) -> rule9)) -> rule2) triple13) -> rule1))]
("cat" "visits" "bald eagle" "-")
((((((((triple10) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) triple13) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int4
The cat chases the squirrel.
True
7
proof
[(((((((((((triple10) -> rule4)) -> rule9)) -> rule2) triple13) -> rule1)) -> rule7))]
("cat" "chases" "squirrel" "+")
((((((((((triple10) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule2 % int3)) triple13) -> (rule1 % int2))) -> (rule7 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int5
The cat does not chase the squirrel.
False
7
inv-proof
[(((((((((((triple10) -> rule4)) -> rule9)) -> rule2) triple13) -> rule1)) -> rule7))]
("cat" "chases" "squirrel" "-")
((((((((((triple10) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule2 % int3)) triple13) -> (rule1 % int2))) -> (rule7 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int5
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "chases" "cat" "-")
The squirrel visits the cat.
Unknown
rconc
[@1: The squirrel visits the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "visits" "cat" "+")
The rabbit does not chase the squirrel.
Unknown
inv-rconc
[@1: The rabbit chases the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "chases" "squirrel" "-")
The bald eagle chases the squirrel.
Unknown
rconc
[@1: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "chases" "squirrel" "+")
The bald eagle does not visit the squirrel.
Unknown
inv-rconc
[@1: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The squirrel likes the bald eagle.
Unknown
rconc
[@1: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "likes" "bald eagle" "+")
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The cat does not visit the rabbit.
Unknown
inv-random
[@0: The cat visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "rabbit" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is not round.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The cat does not chase the rabbit.[(triple4)] The cat does not like the rabbit.[(triple8)] The cat is not green.[(triple5)] The cat is not round.[(triple6)] The cat likes the bald eagle.[(triple7)] The cat visits the squirrel.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit is red.[(triple11)] The rabbit is round.[(triple12)] The rabbit likes the cat.[(triple13)] The rabbit likes the squirrel.[(triple14)] The squirrel chases the cat.[(triple15)] The squirrel visits the bald eagle.[(triple16)] @1: The bald eagle chases the rabbit.[(((triple10) -> rule4))] The bald eagle visits the cat.[(((triple1) -> rule8))] The squirrel chases the squirrel.[(((triple16) -> rule7))] @2: The rabbit likes the bald eagle.[(((((triple10) -> rule4)) -> rule9))] @3: The bald eagle likes the rabbit.[(((((((triple10) -> rule4)) -> rule9)) -> rule2))] @4: The cat visits the bald eagle.[(((((((((triple10) -> rule4)) -> rule9)) -> rule2) triple13) -> rule1))] @5: The cat chases the squirrel.[(((((((((((triple10) -> rule4)) -> rule9)) -> rule2) triple13) -> rule1)) -> rule7))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The cat does not chase the rabbit.
("cat" "chases" "rabbit" "-")
triple4
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
triple8
The cat is not green.
("cat" "is" "green" "-")
triple5
The cat is not round.
("cat" "is" "round" "-")
triple6
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple7
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple9
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple11
The rabbit is round.
("rabbit" "is" "round" "+")
triple12
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple13
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple14
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple15
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple16
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((triple10) -> (rule4 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
((triple1) -> (rule8 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple16) -> (rule7 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((((triple10) -> (rule4 % int2))) -> (rule9 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((((((triple10) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((((((((triple10) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) triple13) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int4
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
((((((((((triple10) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule2 % int3)) triple13) -> (rule1 % int2))) -> (rule7 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int5