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