The bald eagle eats the cow. The bald eagle is kind. The bald eagle is not nice. The bald eagle is not round. The bald eagle needs the cow. The bald eagle needs the tiger. The cow chases the bald eagle. The cow chases the tiger. The cow is cold. The cow needs the bald eagle. The cow needs the tiger. The tiger chases the cow. The tiger eats the bald eagle. The tiger eats the cow. The tiger is nice. The tiger needs the bald eagle. If the tiger chases the cow then the cow is nice.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If the tiger chases the cow then the cow is nice.
((("tiger" "chases" "cow" "+")) -> ("cow" "is" "nice" "+"))
The cow needs the tiger.
True
1
proof
[(triple11)]
("cow" "needs" "tiger" "+")
triple11
The bald eagle is not kind.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "kind" "-")
triple2
The cow is nice.
True
2
proof
[(((triple12) -> rule1))]
("cow" "is" "nice" "+")
((triple12) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is not nice.
False
2
inv-proof
[(((triple12) -> rule1))]
("cow" "is" "nice" "-")
((triple12) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The bald eagle chases the tiger.
Unknown
random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "+")
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is not nice.[(triple3)] The bald eagle is not round.[(triple4)] The bald eagle needs the cow.[(triple5)] The bald eagle needs the tiger.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow chases the tiger.[(triple8)] The cow is cold.[(triple9)] The cow needs the bald eagle.[(triple10)] The cow needs the tiger.[(triple11)] The tiger chases the cow.[(triple12)] The tiger eats the bald eagle.[(triple13)] The tiger eats the cow.[(triple14)] The tiger is nice.[(triple15)] The tiger needs the bald eagle.[(triple16)] @1: The cow is nice.[(((triple12) -> rule1))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple3
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple4
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple5
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple7
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple9
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple10
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple11
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple12
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple13
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple14
The tiger is nice.
("tiger" "is" "nice" "+")
triple15
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple16
The cow is nice.
("cow" "is" "nice" "+")
((triple12) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1