The bald eagle chases the cow. The bald eagle chases the rabbit. The bald eagle is young. The bald eagle likes the cow. The bald eagle likes the rabbit. The cow chases the bald eagle. The cow chases the rabbit. The cow eats the bald eagle. The cow eats the rabbit. The cow is blue. The cow likes the bald eagle. The cow likes the rabbit. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit likes the bald eagle. The rabbit likes the cow. If someone chases the rabbit then they are blue. If the rabbit is cold then the rabbit is big. If someone eats the rabbit then they chase the bald eagle. If someone is red and they like the cow then they eat the rabbit. If someone likes the bald eagle and the bald eagle likes the rabbit then they chase the rabbit. If someone is blue and they chase the rabbit then they chase the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If someone chases the rabbit then they are blue.
((("someone" "chases" "rabbit" "+")) -> ("someone" "is" "blue" "+"))
If the rabbit is cold then the rabbit is big.
((("rabbit" "is" "cold" "+")) -> ("rabbit" "is" "big" "+"))
If someone eats the rabbit then they chase the bald eagle.
((("someone" "eats" "rabbit" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is red and they like the cow then they eat the rabbit.
((("someone" "is" "red" "+") ("someone" "likes" "cow" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone likes the bald eagle and the bald eagle likes the rabbit then they chase the rabbit.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone is blue and they chase the rabbit then they chase the cow.
((("someone" "is" "blue" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "chases" "cow" "+"))
The cow chases the rabbit.
True
1
proof
[(triple7 OR ((triple11 triple5) -> rule5))]
("cow" "chases" "rabbit" "+")
triple7
((triple11 triple5) -> (rule5 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The cow does not eat the rabbit.
False
1
inv-proof
[(triple9)]
("cow" "eats" "rabbit" "-")
triple9
The cow chases the cow.
True
3
proof
[(((triple10 triple7) -> rule6) OR ((triple10 ((triple11 triple5) -> rule5)) -> rule6) OR ((((triple7) -> rule1) triple7) -> rule6) OR ((((triple7) -> rule1) ((triple11 triple5) -> rule5)) -> rule6) OR ((((((triple11 triple5) -> rule5)) -> rule1) triple7) -> rule6) OR ((((((triple11 triple5) -> rule5)) -> rule1) ((triple11 triple5) -> rule5)) -> rule6))]
("cow" "chases" "cow" "+")
((triple10 triple7) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
((triple10 ((triple11 triple5) -> (rule5 % int2))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
((((triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple11 triple5) -> (rule5 % int2))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
((((((triple11 triple5) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int3
((((((triple11 triple5) -> (rule5 % int3))) -> (rule1 % int2)) ((triple11 triple5) -> (rule5 % int3))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int3
The rabbit does not chase the rabbit.
False
3
inv-proof
[(((triple15 triple5) -> rule5))]
("rabbit" "chases" "rabbit" "-")
((triple15 triple5) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is blue.
True
4
proof
[(((((triple15 triple5) -> rule5)) -> rule1))]
("rabbit" "is" "blue" "+")
((((triple15 triple5) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is not blue.
False
4
inv-proof
[(((((triple15 triple5) -> rule5)) -> rule1))]
("rabbit" "is" "blue" "-")
((((triple15 triple5) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit chases the cow.
True
8
proof
[(((((((triple15 triple5) -> rule5)) -> rule1) ((triple15 triple5) -> rule5)) -> rule6))]
("rabbit" "chases" "cow" "+")
((((((triple15 triple5) -> (rule5 % int3))) -> (rule1 % int2)) ((triple15 triple5) -> (rule5 % int3))) -> (rule6 % int1))
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit does not chase the cow.
False
8
inv-proof
[(((((((triple15 triple5) -> rule5)) -> rule1) ((triple15 triple5) -> rule5)) -> rule6))]
("rabbit" "chases" "cow" "-")
((((((triple15 triple5) -> (rule5 % int3))) -> (rule1 % int2)) ((triple15 triple5) -> (rule5 % int3))) -> (rule6 % int1))
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle eats the rabbit.
Unknown
rconc
[@1: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "rabbit" "+")
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit is big.
Unknown
rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "big" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The rabbit eats the cow.
Unknown
random
[@0: The rabbit eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cow" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The bald eagle chases the cow.[(triple1 OR ((((triple2) -> rule1) triple2) -> rule6))] The bald eagle chases the rabbit.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The cow chases the bald eagle.[(triple6 OR ((triple9) -> rule3))] The cow chases the rabbit.[(triple7 OR ((triple11 triple5) -> rule5))] The cow eats the bald eagle.[(triple8)] The cow eats the rabbit.[(triple9)] The cow is blue.[(triple10 OR ((triple7) -> rule1) OR ((((triple11 triple5) -> rule5)) -> rule1))] The cow likes the bald eagle.[(triple11)] The cow likes the rabbit.[(triple12)] The rabbit chases the bald eagle.[(triple13)] The rabbit eats the bald eagle.[(triple14)] The rabbit likes the bald eagle.[(triple15)] The rabbit likes the cow.[(triple16)] @1: The bald eagle is blue.[(((triple2) -> rule1))] The cow chases the cow.[(((triple10 triple7) -> rule6) OR ((triple10 ((triple11 triple5) -> rule5)) -> rule6) OR ((((triple7) -> rule1) triple7) -> rule6) OR ((((triple7) -> rule1) ((triple11 triple5) -> rule5)) -> rule6) OR ((((((triple11 triple5) -> rule5)) -> rule1) triple7) -> rule6) OR ((((((triple11 triple5) -> rule5)) -> rule1) ((triple11 triple5) -> rule5)) -> rule6))] The rabbit chases the rabbit.[(((triple15 triple5) -> rule5))] @2: The rabbit is blue.[(((((triple15 triple5) -> rule5)) -> rule1))] @3: The rabbit chases the cow.[(((((((triple15 triple5) -> rule5)) -> rule1) ((triple15 triple5) -> rule5)) -> rule6))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
((((triple2) -> (rule1 % int2)) triple2) -> (rule6 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple6
((triple9) -> (rule3 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple7
((triple11 triple5) -> (rule5 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple8
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple9
The cow is blue.
("cow" "is" "blue" "+")
triple10
((triple7) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
((((triple11 triple5) -> (rule5 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple11
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple12
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple13
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple14
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple15
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple16
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple2) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple10 triple7) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
((triple10 ((triple11 triple5) -> (rule5 % int2))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
((((triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple11 triple5) -> (rule5 % int2))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
((((((triple11 triple5) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int3
((((((triple11 triple5) -> (rule5 % int3))) -> (rule1 % int2)) ((triple11 triple5) -> (rule5 % int3))) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple15 triple5) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((((triple15 triple5) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
((((((triple15 triple5) -> (rule5 % int3))) -> (rule1 % int2)) ((triple15 triple5) -> (rule5 % int3))) -> (rule6 % int1))
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3