The bald eagle chases the bear. The bald eagle eats the rabbit. The bald eagle is rough. The bald eagle is young. The bear chases the bald eagle. The bear eats the cat. The bear is green. The bear visits the bald eagle. The cat chases the bald eagle. The cat eats the rabbit. The cat is green. The cat visits the bald eagle. The rabbit is blue. The rabbit visits the bald eagle. The rabbit visits the bear. If someone is green then they visit the bear. If someone eats the bear then they chase the cat. Young, rough people are green.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is green.
("bear" "is" "green" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is green.
("cat" "is" "green" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone is green then they visit the bear.
((("someone" "is" "green" "+")) -> ("someone" "visits" "bear" "+"))
If someone eats the bear then they chase the cat.
((("someone" "eats" "bear" "+")) -> ("someone" "chases" "cat" "+"))
Young, rough people are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
The bald eagle eats the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle does not eat the rabbit.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "rabbit" "-")
triple2
The bald eagle is green.
True
3
proof
[(((triple4 triple3) -> rule3))]
("bald eagle" "is" "green" "+")
((triple4 triple3) -> (rule3 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is not green.
False
3
inv-proof
[(((triple4 triple3) -> rule3))]
("bald eagle" "is" "green" "-")
((triple4 triple3) -> (rule3 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle visits the bear.
True
4
proof
[(((((triple4 triple3) -> rule3)) -> rule1))]
("bald eagle" "visits" "bear" "+")
((((triple4 triple3) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle does not visit the bear.
False
4
inv-proof
[(((((triple4 triple3) -> rule3)) -> rule1))]
("bald eagle" "visits" "bear" "-")
((((triple4 triple3) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle does not chase the cat.
Unknown
inv-rconc
[@1: The bald eagle chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "cat" "-")
The bear chases the cat.
Unknown
rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "cat" "+")
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "cat" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
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 cat chases the bear.
Unknown
random
[@0: The cat chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bear" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is young.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear eats the cat.[(triple6)] The bear is green.[(triple7)] The bear visits the bald eagle.[(triple8)] The cat chases the bald eagle.[(triple9)] The cat eats the rabbit.[(triple10)] The cat is green.[(triple11)] The cat visits the bald eagle.[(triple12)] The rabbit is blue.[(triple13)] The rabbit visits the bald eagle.[(triple14)] The rabbit visits the bear.[(triple15)] @1: The bald eagle is green.[(((triple4 triple3) -> rule3))] The bear visits the bear.[(((triple7) -> rule1))] The cat visits the bear.[(((triple11) -> rule1))] @2: The bald eagle visits the bear.[(((((triple4 triple3) -> rule3)) -> rule1))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple5
The bear eats the cat.
("bear" "eats" "cat" "+")
triple6
The bear is green.
("bear" "is" "green" "+")
triple7
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple8
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple9
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple10
The cat is green.
("cat" "is" "green" "+")
triple11
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple12
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple13
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple14
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple15
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple4 triple3) -> (rule3 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple7) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
((triple11) -> (rule1 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((((triple4 triple3) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2