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