The bald eagle chases the mouse. The bald eagle sees the cow. The cow chases the bald eagle. The cow chases the mouse. The cow does not chase the rabbit. The cow eats the mouse. The cow is big. The cow sees the rabbit. The mouse is big. The mouse is green. The mouse sees the cow. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit is big. The rabbit sees the mouse. If something sees the rabbit then the rabbit sees the bald eagle. If the rabbit sees the bald eagle and the rabbit eats the mouse then the rabbit is green.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is big.
("cow" "is" "big" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If something sees the rabbit then the rabbit sees the bald eagle.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If the rabbit sees the bald eagle and the rabbit eats the mouse then the rabbit is green.
((("rabbit" "sees" "bald eagle" "+") ("rabbit" "eats" "mouse" "+")) -> ("rabbit" "is" "green" "+"))
The rabbit chases the mouse.
True
1
proof
[(triple12)]
("rabbit" "chases" "mouse" "+")
triple12
The rabbit is not big.
False
1
inv-proof
[(triple14)]
("rabbit" "is" "big" "-")
triple14
The rabbit sees the bald eagle.
True
2
proof
[(((triple8) -> rule1))]
("rabbit" "sees" "bald eagle" "+")
((triple8) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit does not see the bald eagle.
False
2
inv-proof
[(((triple8) -> rule1))]
("rabbit" "sees" "bald eagle" "-")
((triple8) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is green.
True
4
proof
[(((((triple8) -> rule1) triple13) -> rule2))]
("rabbit" "is" "green" "+")
((((triple8) -> (rule1 % int2)) triple13) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit is not green.
False
4
inv-proof
[(((((triple8) -> rule1) triple13) -> rule2))]
("rabbit" "is" "green" "-")
((((triple8) -> (rule1 % int2)) triple13) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
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 eats the rabbit.
Unknown
random
[@0: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "rabbit" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle sees the cow.[(triple2)] The cow chases the bald eagle.[(triple3)] The cow chases the mouse.[(triple4)] The cow does not chase the rabbit.[(triple5)] The cow eats the mouse.[(triple6)] The cow is big.[(triple7)] The cow sees the rabbit.[(triple8)] The mouse is big.[(triple9)] The mouse is green.[(triple10)] The mouse sees the cow.[(triple11)] The rabbit chases the mouse.[(triple12)] The rabbit eats the mouse.[(triple13)] The rabbit is big.[(triple14)] The rabbit sees the mouse.[(triple15)] @1: The rabbit sees the bald eagle.[(((triple8) -> rule1))] @2: The rabbit is green.[(((((triple8) -> rule1) triple13) -> rule2))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple3
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple4
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
triple5
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple11
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple12
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple13
The rabbit is big.
("rabbit" "is" "big" "+")
triple14
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple15
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple8) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((((triple8) -> (rule1 % int2)) triple13) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2