The bald eagle chases the cow. The bald eagle chases the rabbit. The bald eagle does not eat the rabbit. The bald eagle is green. The bald eagle sees the cow. The bald eagle does not see the rabbit. The cow is kind. The rabbit eats the bald eagle. The rabbit eats the cow. The rabbit sees the cow. If something sees the rabbit then the rabbit does not see the bald eagle. If something sees the cow then the cow is red.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle does not see the rabbit.
("bald eagle" "sees" "rabbit" "-")
The cow is kind.
("cow" "is" "kind" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If something sees the rabbit then the rabbit does not see the bald eagle.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "-"))
If something sees the cow then the cow is red.
((("something" "sees" "cow" "+")) -> ("cow" "is" "red" "+"))
The cow is kind.
True
1
proof
[(triple7)]
("cow" "is" "kind" "+")
triple7
The rabbit does not see the cow.
False
1
inv-proof
[(triple10)]
("rabbit" "sees" "cow" "-")
triple10
The cow is red.
True
2
proof
[(((triple10) -> rule2) OR ((triple5) -> rule2))]
("cow" "is" "red" "+")
((triple10) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple5) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is not red.
False
2
inv-proof
[(((triple10) -> rule2) OR ((triple5) -> rule2))]
("cow" "is" "red" "-")
((triple10) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple5) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The cow chases the bald eagle.
Unknown
random
[@0: The cow chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bald eagle" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle does not eat the rabbit.[(triple3)] The bald eagle does not see the rabbit.[(triple6)] The bald eagle is green.[(triple4)] The bald eagle sees the cow.[(triple5)] The cow is kind.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit eats the cow.[(triple9)] The rabbit sees the cow.[(triple10)] @1: The cow is red.[(((triple10) -> rule2) OR ((triple5) -> rule2))]
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 does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
triple3
The bald eagle does not see the rabbit.
("bald eagle" "sees" "rabbit" "-")
triple6
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple5
The cow is kind.
("cow" "is" "kind" "+")
triple7
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple8
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple9
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple10
The cow is red.
("cow" "is" "red" "+")
((triple10) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple5) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1