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