The bald eagle chases the cow. The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle is not red. The bald eagle likes the cow. The bald eagle does not need the cow. The cow chases the bald eagle. The cow is big. The cow is blue. The cow is kind. The cow is not nice. The cow is red. The cow does not like the bald eagle. The cow does not need the bald eagle. If someone needs the cow and the cow is not nice then they are big. If someone chases the cow and the cow does not need the bald eagle then the bald eagle is kind.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is red.
("cow" "is" "red" "+")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
If someone needs the cow and the cow is not nice then they are big.
((("someone" "needs" "cow" "+") ("cow" "is" "nice" "~")) -> ("someone" "is" "big" "+"))
If someone chases the cow and the cow does not need the bald eagle then the bald eagle is kind.
((("someone" "chases" "cow" "+") ("cow" "needs" "bald eagle" "~")) -> ("bald eagle" "is" "kind" "+"))
The bald eagle likes the cow.
True
1
proof
[(triple6)]
("bald eagle" "likes" "cow" "+")
triple6
The cow is not red.
False
1
inv-proof
[(triple13)]
("cow" "is" "red" "-")
triple13
The bald eagle is kind.
True
3
proof
[(((triple1 triple15) -> rule2))]
("bald eagle" "is" "kind" "+")
((triple1 triple15) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is not kind.
False
3
inv-proof
[(((triple1 triple15) -> rule2))]
("bald eagle" "is" "kind" "-")
((triple1 triple15) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
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" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not need the cow.[(triple7)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is not red.[(triple5)] The bald eagle likes the cow.[(triple6)] The cow chases the bald eagle.[(triple8)] The cow does not like the bald eagle.[(triple14)] The cow does not need the bald eagle.[(triple15)] The cow is big.[(triple9)] The cow is blue.[(triple10)] The cow is kind.[(triple11)] The cow is not nice.[(triple12)] The cow is red.[(triple13)] @1: The bald eagle is kind.[(((triple1 triple15) -> rule2))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
triple7
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple5
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple8
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple14
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
triple15
The cow is big.
("cow" "is" "big" "+")
triple9
The cow is blue.
("cow" "is" "blue" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
triple11
The cow is not nice.
("cow" "is" "nice" "-")
triple12
The cow is red.
("cow" "is" "red" "+")
triple13
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple1 triple15) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1