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