The bald eagle chases the cow. The bald eagle chases the rabbit. The bald eagle is young. The bald eagle needs the cow. The cow chases the bald eagle. The cow chases the rabbit. The cow is big. The cow is nice. The cow is red. The cow is not young. The cow needs the rabbit. The cow sees the bald eagle. The cow sees the rabbit. The rabbit is young. The rabbit needs the cow. If someone is big and they need the rabbit then the rabbit does not chase the cow. If the rabbit sees the cow then the rabbit does not chase the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If someone is big and they need the rabbit then the rabbit does not chase the cow.
((("someone" "is" "big" "+") ("someone" "needs" "rabbit" "+")) -> ("rabbit" "chases" "cow" "-"))
If the rabbit sees the cow then the rabbit does not chase the cow.
((("rabbit" "sees" "cow" "+")) -> ("rabbit" "chases" "cow" "-"))
The cow sees the bald eagle.
True
1
proof
[(triple12)]
("cow" "sees" "bald eagle" "+")
triple12
The cow is not big.
False
1
inv-proof
[(triple7)]
("cow" "is" "big" "-")
triple7
The rabbit does not chase the cow.
True
3
proof
[(((triple7 triple11) -> rule1))]
("rabbit" "chases" "cow" "-")
((triple7 triple11) -> (rule1 % int1))
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
int1
The rabbit chases the cow.
False
3
inv-proof
[(((triple7 triple11) -> rule1))]
("rabbit" "chases" "cow" "+")
((triple7 triple11) -> (rule1 % int1))
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
int1
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
The rabbit does not need the bald eagle.
Unknown
inv-random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the cow.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow chases the rabbit.[(triple6)] The cow is big.[(triple7)] The cow is nice.[(triple8)] The cow is not young.[(triple10)] The cow is red.[(triple9)] The cow needs the rabbit.[(triple11)] The cow sees the bald eagle.[(triple12)] The cow sees the rabbit.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the cow.[(triple15)] @1: The rabbit does not chase the cow.[(((triple7 triple11) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow is not young.
("cow" "is" "young" "-")
triple10
The cow is red.
("cow" "is" "red" "+")
triple9
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple11
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple12
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple15
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
((triple7 triple11) -> (rule1 % int1))
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
int1