The bald eagle chases the bear. The bald eagle is young. The bear eats the bald eagle. The bear eats the tiger. The bear visits the bald eagle. The bear visits the tiger. The tiger chases the bear. The tiger eats the bald eagle. The tiger eats the bear. The tiger is rough. The tiger visits the bald eagle. The tiger visits the bear. If something eats the bald eagle then it eats the tiger. If something eats the tiger and it visits the bear then the bear is round. If something is round then it is green.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something eats the bald eagle then it eats the tiger.
((("something" "eats" "bald eagle" "+")) -> ("something" "eats" "tiger" "+"))
If something eats the tiger and it visits the bear then the bear is round.
((("something" "eats" "tiger" "+") ("something" "visits" "bear" "+")) -> ("bear" "is" "round" "+"))
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
The bear visits the bald eagle.
True
1
proof
[(triple5)]
("bear" "visits" "bald eagle" "+")
triple5
The tiger is not rough.
False
1
inv-proof
[(triple10)]
("tiger" "is" "rough" "-")
triple10
The tiger eats the tiger.
True
2
proof
[(((triple8) -> rule1))]
("tiger" "eats" "tiger" "+")
((triple8) -> (rule1 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
False
2
inv-proof
[(((triple8) -> rule1))]
("tiger" "eats" "tiger" "-")
((triple8) -> (rule1 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The bear is round.
True
4
proof
[(((((triple8) -> rule1) triple12) -> rule2))]
("bear" "is" "round" "+")
((((triple8) -> (rule1 % int2)) triple12) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The bear is not round.
False
4
inv-proof
[(((((triple8) -> rule1) triple12) -> rule2))]
("bear" "is" "round" "-")
((((triple8) -> (rule1 % int2)) triple12) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The bear is green.
True
5
proof
[(((((((triple8) -> rule1) triple12) -> rule2)) -> rule3))]
("bear" "is" "green" "+")
((((((triple8) -> (rule1 % int3)) triple12) -> (rule2 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The bear is not green.
False
5
inv-proof
[(((((((triple8) -> rule1) triple12) -> rule2)) -> rule3))]
("bear" "is" "green" "-")
((((((triple8) -> (rule1 % int3)) triple12) -> (rule2 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "green" "-")
The tiger is green.
Unknown
rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "green" "+")
The bald eagle does not eat the tiger.
Unknown
inv-rconc
[@1: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "tiger" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
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 visits the tiger.
Unknown
random
[@0: The bald eagle visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "tiger" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is young.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear eats the tiger.[(triple4 OR ((triple3) -> rule1))] The bear visits the bald eagle.[(triple5)] The bear visits the tiger.[(triple6)] The tiger chases the bear.[(triple7)] The tiger eats the bald eagle.[(triple8)] The tiger eats the bear.[(triple9)] The tiger is rough.[(triple10)] The tiger visits the bald eagle.[(triple11)] The tiger visits the bear.[(triple12)] @1: The tiger eats the tiger.[(((triple8) -> rule1))] @2: The bear is round.[(((((triple8) -> rule1) triple12) -> rule2))] @3: The bear is green.[(((((((triple8) -> rule1) triple12) -> rule2)) -> rule3))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple4
((triple3) -> (rule1 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple5
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple6
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple7
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple8
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple11
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple12
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple8) -> (rule1 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((((triple8) -> (rule1 % int2)) triple12) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The bear is green.
("bear" "is" "green" "+")
((((((triple8) -> (rule1 % int3)) triple12) -> (rule2 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3