The bald eagle eats the cow. The bald eagle is big. The bald eagle is kind. The bald eagle is rough. The bald eagle likes the cow. The bald eagle sees the cow. The cow eats the bald eagle. The cow is cold. The cow is kind. The cow is rough. The cow likes the bald eagle. The cow sees the bald eagle. If the cow is big then the cow is nice. If something likes the cow and the cow is nice then the cow likes the bald eagle. If something is kind and it sees the cow then the cow is cold. If something is big and it likes the cow then it eats the bald eagle. If something likes the cow then it eats the bald eagle. All big things are kind. If something is rough then it is big. If something is nice then it eats the cow.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If the cow is big then the cow is nice.
((("cow" "is" "big" "+")) -> ("cow" "is" "nice" "+"))
If something likes the cow and the cow is nice then the cow likes the bald eagle.
((("something" "likes" "cow" "+") ("cow" "is" "nice" "+")) -> ("cow" "likes" "bald eagle" "+"))
If something is kind and it sees the cow then the cow is cold.
((("something" "is" "kind" "+") ("something" "sees" "cow" "+")) -> ("cow" "is" "cold" "+"))
If something is big and it likes the cow then it eats the bald eagle.
((("something" "is" "big" "+") ("something" "likes" "cow" "+")) -> ("something" "eats" "bald eagle" "+"))
If something likes the cow then it eats the bald eagle.
((("something" "likes" "cow" "+")) -> ("something" "eats" "bald eagle" "+"))
All big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If something is rough then it is big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is nice then it eats the cow.
((("something" "is" "nice" "+")) -> ("something" "eats" "cow" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple7)]
("cow" "eats" "bald eagle" "+")
triple7
The cow is not cold.
False
1
inv-proof
[(triple8 OR ((triple3 triple6) -> rule3) OR ((((triple2) -> rule6) triple6) -> rule3) OR ((((((triple4) -> rule7)) -> rule6) triple6) -> rule3))]
("cow" "is" "cold" "-")
triple8
((triple3 triple6) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
((((triple2) -> (rule6 % int2)) triple6) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
((((((triple4) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the bald eagle.
True
2
proof
[(((triple5) -> rule5) OR ((triple2 triple5) -> rule4) OR ((((triple4) -> rule7) triple5) -> rule4))]
("bald eagle" "eats" "bald eagle" "+")
((triple5) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((triple2 triple5) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((((triple4) -> (rule7 % int2)) triple5) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple5) -> rule5) OR ((triple2 triple5) -> rule4) OR ((((triple4) -> rule7) triple5) -> rule4))]
("bald eagle" "eats" "bald eagle" "-")
((triple5) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((triple2 triple5) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((((triple4) -> (rule7 % int2)) triple5) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The cow is nice.
True
3
proof
[(((((triple10) -> rule7)) -> rule1))]
("cow" "is" "nice" "+")
((((triple10) -> (rule7 % int2))) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is not nice.
False
3
inv-proof
[(((((triple10) -> rule7)) -> rule1))]
("cow" "is" "nice" "-")
((((triple10) -> (rule7 % int2))) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow eats the cow.
True
4
proof
[(((((((triple10) -> rule7)) -> rule1)) -> rule8))]
("cow" "eats" "cow" "+")
((((((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow does not eat the cow.
False
4
inv-proof
[(((((((triple10) -> rule7)) -> rule1)) -> rule8))]
("cow" "eats" "cow" "-")
((((((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
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 cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
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 bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is big.[(triple2 OR ((triple4) -> rule7))] The bald eagle is kind.[(triple3 OR ((triple2) -> rule6) OR ((((triple4) -> rule7)) -> rule6))] The bald eagle is rough.[(triple4)] The bald eagle likes the cow.[(triple5)] The bald eagle sees the cow.[(triple6)] The cow eats the bald eagle.[(triple7)] The cow is cold.[(triple8 OR ((triple3 triple6) -> rule3) OR ((((triple2) -> rule6) triple6) -> rule3) OR ((((((triple4) -> rule7)) -> rule6) triple6) -> rule3))] The cow is kind.[(triple9 OR ((((triple10) -> rule7)) -> rule6))] The cow is rough.[(triple10)] The cow likes the bald eagle.[(triple11 OR ((triple5 ((((triple10) -> rule7)) -> rule1)) -> rule2))] The cow sees the bald eagle.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple5) -> rule5) OR ((triple2 triple5) -> rule4) OR ((((triple4) -> rule7) triple5) -> rule4))] The cow is big.[(((triple10) -> rule7))] @2: The cow is nice.[(((((triple10) -> rule7)) -> rule1))] @3: The cow eats the cow.[(((((((triple10) -> rule7)) -> rule1)) -> rule8))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
((triple4) -> (rule7 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
((triple2) -> (rule6 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple5
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple6
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple7
The cow is cold.
("cow" "is" "cold" "+")
triple8
((triple3 triple6) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
((((triple2) -> (rule6 % int2)) triple6) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
((((((triple4) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
triple9
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
triple10
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple11
((triple5 ((((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple12
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple5) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((triple2 triple5) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((((triple4) -> (rule7 % int2)) triple5) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The cow is big.
("cow" "is" "big" "+")
((triple10) -> (rule7 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
((((triple10) -> (rule7 % int2))) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
((((((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3