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