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