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