The bald eagle chases the rabbit. The bald eagle is blue. The bald eagle is nice. The bald eagle is rough. The bald eagle is young. The bald eagle needs the rabbit. The bald eagle visits the rabbit. The rabbit chases the bald eagle. The rabbit is blue. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit is young. The rabbit needs the bald eagle. The rabbit visits the bald eagle. If someone visits the bald eagle then they chase the rabbit.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If someone visits the bald eagle then they chase the rabbit.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "chases" "rabbit" "+"))
The bald eagle is blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is not blue.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "blue" "-")
triple2
The rabbit chases the rabbit.
True
2
proof
[(((triple15) -> rule1))]
("rabbit" "chases" "rabbit" "+")
((triple15) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit does not chase the rabbit.
False
2
inv-proof
[(((triple15) -> rule1))]
("rabbit" "chases" "rabbit" "-")
((triple15) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
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 bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the rabbit.[(triple6)] The bald eagle visits the rabbit.[(triple7)] The rabbit chases the bald eagle.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is rough.[(triple11)] The rabbit is round.[(triple12)] The rabbit is young.[(triple13)] The rabbit needs the bald eagle.[(triple14)] The rabbit visits the bald eagle.[(triple15)] @1: The rabbit chases the rabbit.[(((triple15) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple6
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple7
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The rabbit is round.
("rabbit" "is" "round" "+")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
triple13
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple14
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple15
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple15) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1