The bald eagle chases the cat. The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle is green. The bald eagle is rough. The cat chases the bald eagle. The cat is green. The cat is round. The cat visits the rabbit. The rabbit chases the bald eagle. The rabbit chases the cat. The rabbit is green. The rabbit is nice. The rabbit visits the bald eagle. The rabbit does not visit the cat. If something is green then it chases the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is round.
("cat" "is" "round" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit does not visit the cat.
("rabbit" "visits" "cat" "-")
If something is green then it chases the bald eagle.
((("something" "is" "green" "+")) -> ("something" "chases" "bald eagle" "+"))
The rabbit is green.
True
1
proof
[(triple12)]
("rabbit" "is" "green" "+")
triple12
The bald eagle does not chase the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cat" "-")
triple1
The bald eagle chases the bald eagle.
True
2
proof
[(((triple4) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple4) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((triple4) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The rabbit eats the bald eagle.
Unknown
random
[@0: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bald eagle" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The bald eagle visits the cat.
Unknown
random
[@0: The bald eagle visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is rough.[(triple5)] The cat chases the bald eagle.[(triple6 OR ((triple7) -> rule1))] The cat is green.[(triple7)] The cat is round.[(triple8)] The cat visits the rabbit.[(triple9)] The rabbit chases the bald eagle.[(triple10 OR ((triple12) -> rule1))] The rabbit chases the cat.[(triple11)] The rabbit does not visit the cat.[(triple15)] The rabbit is green.[(triple12)] The rabbit is nice.[(triple13)] The rabbit visits the bald eagle.[(triple14)] @1: The bald eagle chases the bald eagle.[(((triple4) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple6
((triple7) -> (rule1 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat is green.
("cat" "is" "green" "+")
triple7
The cat is round.
("cat" "is" "round" "+")
triple8
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple9
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple10
((triple12) -> (rule1 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple11
The rabbit does not visit the cat.
("rabbit" "visits" "cat" "-")
triple15
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple13
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple14
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1