The bald eagle eats the rabbit. The bald eagle is cold. The bear chases the bald eagle. The cow eats the rabbit. The rabbit chases the bald eagle. The rabbit chases the cow. The rabbit eats the bald eagle. If someone is young and they eat the cow then they like the bald eagle. If the rabbit likes the bald eagle and the rabbit is blue then the bald eagle likes the rabbit. If someone chases the rabbit then they like the rabbit. If the bear chases the bald eagle then the bald eagle chases the rabbit. If someone eats the rabbit and the rabbit eats the bald eagle then the bald eagle eats the bear. If someone is green and they eat the rabbit then they chase the bear. If someone eats the bald eagle and the bald eagle likes the rabbit then they like the bald eagle. If someone chases the bear and the bear is cold then they eat the bear.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
If someone is young and they eat the cow then they like the bald eagle.
((("someone" "is" "young" "+") ("someone" "eats" "cow" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the rabbit likes the bald eagle and the rabbit is blue then the bald eagle likes the rabbit.
((("rabbit" "likes" "bald eagle" "+") ("rabbit" "is" "blue" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If someone chases the rabbit then they like the rabbit.
((("someone" "chases" "rabbit" "+")) -> ("someone" "likes" "rabbit" "+"))
If the bear chases the bald eagle then the bald eagle chases the rabbit.
((("bear" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If someone eats the rabbit and the rabbit eats the bald eagle then the bald eagle eats the bear.
((("someone" "eats" "rabbit" "+") ("rabbit" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
If someone is green and they eat the rabbit then they chase the bear.
((("someone" "is" "green" "+") ("someone" "eats" "rabbit" "+")) -> ("someone" "chases" "bear" "+"))
If someone eats the bald eagle and the bald eagle likes the rabbit then they like the bald eagle.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone chases the bear and the bear is cold then they eat the bear.
((("someone" "chases" "bear" "+") ("bear" "is" "cold" "+")) -> ("someone" "eats" "bear" "+"))
The rabbit chases the bald eagle.
True
1
proof
[(triple5)]
("rabbit" "chases" "bald eagle" "+")
triple5
The bald eagle is not cold.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "cold" "-")
triple2
The bald eagle eats the bear.
True
3
proof
[(((triple1 triple7) -> rule5) OR ((triple4 triple7) -> rule5))]
("bald eagle" "eats" "bear" "+")
((triple1 triple7) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
((triple4 triple7) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle does not chase the rabbit.
False
2
inv-proof
[(((triple3) -> rule4))]
("bald eagle" "chases" "rabbit" "-")
((triple3) -> (rule4 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle likes the rabbit.
True
3
proof
[(((((triple3) -> rule4)) -> rule3))]
("bald eagle" "likes" "rabbit" "+")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle does not like the rabbit.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule3))]
("bald eagle" "likes" "rabbit" "-")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The rabbit likes the bald eagle.
True
5
proof
[(((triple7 ((((triple3) -> rule4)) -> rule3)) -> rule7))]
("rabbit" "likes" "bald eagle" "+")
((triple7 ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The rabbit does not like the bald eagle.
False
5
inv-proof
[(((triple7 ((((triple3) -> rule4)) -> rule3)) -> rule7))]
("rabbit" "likes" "bald eagle" "-")
((triple7 ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The cow does not eat the bear.
Unknown
inv-rconc
[@1: The cow eats the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "eats" "bear" "-")
The cow likes the bald eagle.
Unknown
rconc
[@1: The cow likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "bald eagle" "+")
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "chases" "bear" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The cow likes the bear.
Unknown
random
[@0: The cow likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bear" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is cold.[(triple2)] The bear chases the bald eagle.[(triple3)] The cow eats the rabbit.[(triple4)] The rabbit chases the bald eagle.[(triple5)] The rabbit chases the cow.[(triple6)] The rabbit eats the bald eagle.[(triple7)] @1: The bald eagle chases the rabbit.[(((triple3) -> rule4))] The bald eagle eats the bear.[(((triple1 triple7) -> rule5) OR ((triple4 triple7) -> rule5))] @2: The bald eagle likes the rabbit.[(((((triple3) -> rule4)) -> rule3))] @3: The rabbit likes the bald eagle.[(((triple7 ((((triple3) -> rule4)) -> rule3)) -> rule7))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple4
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple5
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple6
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple7
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((triple3) -> (rule4 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((triple1 triple7) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
((triple4 triple7) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((triple7 ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3