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