The bald eagle is big. The bear is red. The bear needs the bald eagle. The bear sees the bald eagle. The bear visits the bald eagle. The dog sees the tiger. The dog visits the bald eagle. The dog visits the tiger. The tiger is red. The tiger needs the bald eagle. The tiger needs the bear. The tiger needs the dog. The tiger sees the bald eagle. The tiger sees the dog. If someone needs the bear then the bear sees the tiger. If someone needs the bald eagle then they are big. If someone is red and they need the tiger then they see the bear. If someone sees the dog then they are blue. If someone is blue and they see the bald eagle then they need the tiger. If someone sees the bear and they are big then they are round. If the tiger is round and the tiger needs the bald eagle then the bald eagle sees the bear. If the dog visits the bear then the bear needs the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If someone needs the bear then the bear sees the tiger.
((("someone" "needs" "bear" "+")) -> ("bear" "sees" "tiger" "+"))
If someone needs the bald eagle then they are big.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "big" "+"))
If someone is red and they need the tiger then they see the bear.
((("someone" "is" "red" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "sees" "bear" "+"))
If someone sees the dog then they are blue.
((("someone" "sees" "dog" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and they see the bald eagle then they need the tiger.
((("someone" "is" "blue" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "needs" "tiger" "+"))
If someone sees the bear and they are big then they are round.
((("someone" "sees" "bear" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If the tiger is round and the tiger needs the bald eagle then the bald eagle sees the bear.
((("tiger" "is" "round" "+") ("tiger" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "bear" "+"))
If the dog visits the bear then the bear needs the bald eagle.
((("dog" "visits" "bear" "+")) -> ("bear" "needs" "bald eagle" "+"))
The dog sees the tiger.
True
1
proof
[(triple6)]
("dog" "sees" "tiger" "+")
triple6
The tiger does not need the dog.
False
1
inv-proof
[(triple12)]
("tiger" "needs" "dog" "-")
triple12
The bear is big.
True
2
proof
[(((triple3) -> rule2))]
("bear" "is" "big" "+")
((triple3) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The tiger is not blue.
False
2
inv-proof
[(((triple14) -> rule4))]
("tiger" "is" "blue" "-")
((triple14) -> (rule4 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger needs the tiger.
True
4
proof
[(((((triple14) -> rule4) triple13) -> rule5))]
("tiger" "needs" "tiger" "+")
((((triple14) -> (rule4 % int2)) triple13) -> (rule5 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger does not need the tiger.
False
4
inv-proof
[(((((triple14) -> rule4) triple13) -> rule5))]
("tiger" "needs" "tiger" "-")
((((triple14) -> (rule4 % int2)) triple13) -> (rule5 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger sees the bear.
True
6
proof
[(((triple9 ((((triple14) -> rule4) triple13) -> rule5)) -> rule3))]
("tiger" "sees" "bear" "+")
((triple9 ((((triple14) -> (rule4 % int3)) triple13) -> (rule5 % int2))) -> (rule3 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger does not see the bear.
False
6
inv-proof
[(((triple9 ((((triple14) -> rule4) triple13) -> rule5)) -> rule3))]
("tiger" "sees" "bear" "-")
((triple9 ((((triple14) -> (rule4 % int3)) triple13) -> (rule5 % int2))) -> (rule3 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger is round.
True
9
proof
[(((((triple9 ((((triple14) -> rule4) triple13) -> rule5)) -> rule3) ((triple10) -> rule2)) -> rule6))]
("tiger" "is" "round" "+")
((((triple9 ((((triple14) -> (rule4 % int5)) triple13) -> (rule5 % int4))) -> (rule3 % int3)) ((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int4
The tiger is blue.
("tiger" "is" "blue" "+")
int5
The tiger is not round.
False
9
inv-proof
[(((((triple9 ((((triple14) -> rule4) triple13) -> rule5)) -> rule3) ((triple10) -> rule2)) -> rule6))]
("tiger" "is" "round" "-")
((((triple9 ((((triple14) -> (rule4 % int5)) triple13) -> (rule5 % int4))) -> (rule3 % int3)) ((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int4
The tiger is blue.
("tiger" "is" "blue" "+")
int5
The bald eagle sees the bear.
True
11
proof
[(((((((triple9 ((((triple14) -> rule4) triple13) -> rule5)) -> rule3) ((triple10) -> rule2)) -> rule6) triple10) -> rule7))]
("bald eagle" "sees" "bear" "+")
((((((triple9 ((((triple14) -> (rule4 % int6)) triple13) -> (rule5 % int5))) -> (rule3 % int4)) ((triple10) -> (rule2 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int4
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int5
The tiger is blue.
("tiger" "is" "blue" "+")
int6
The bald eagle does not see the bear.
False
11
inv-proof
[(((((((triple9 ((((triple14) -> rule4) triple13) -> rule5)) -> rule3) ((triple10) -> rule2)) -> rule6) triple10) -> rule7))]
("bald eagle" "sees" "bear" "-")
((((((triple9 ((((triple14) -> (rule4 % int6)) triple13) -> (rule5 % int5))) -> (rule3 % int4)) ((triple10) -> (rule2 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int4
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int5
The tiger is blue.
("tiger" "is" "blue" "+")
int6
The dog is not round.
Unknown
inv-rconc
[@2: The dog is round.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("dog" "is" "round" "-")
The dog needs the tiger.
Unknown
rconc
[@1: The dog needs the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "needs" "tiger" "+")
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The bear needs the tiger.
Unknown
rconc
[@2: The bear needs the tiger.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("bear" "needs" "tiger" "+")
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "big" "-")
The bear is blue.
Unknown
rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "blue" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bald eagle does not visit the dog.
Unknown
inv-random
[@0: The bald eagle visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "dog" "-")
The dog needs the bald eagle.
Unknown
random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "+")
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 bald eagle visits the tiger.
Unknown
random
[@0: The bald eagle visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "tiger" "+")
@0: The bald eagle is big.[(triple1)] The bear is red.[(triple2)] The bear needs the bald eagle.[(triple3)] The bear sees the bald eagle.[(triple4)] The bear visits the bald eagle.[(triple5)] The dog sees the tiger.[(triple6)] The dog visits the bald eagle.[(triple7)] The dog visits the tiger.[(triple8)] The tiger is red.[(triple9)] The tiger needs the bald eagle.[(triple10)] The tiger needs the bear.[(triple11)] The tiger needs the dog.[(triple12)] The tiger sees the bald eagle.[(triple13)] The tiger sees the dog.[(triple14)] @1: The bear is big.[(((triple3) -> rule2))] The bear sees the tiger.[(((triple11) -> rule1))] The tiger is big.[(((triple10) -> rule2))] The tiger is blue.[(((triple14) -> rule4))] @2: The tiger needs the tiger.[(((((triple14) -> rule4) triple13) -> rule5))] @3: The tiger sees the bear.[(((triple9 ((((triple14) -> rule4) triple13) -> rule5)) -> rule3))] @4: The tiger is round.[(((((triple9 ((((triple14) -> rule4) triple13) -> rule5)) -> rule3) ((triple10) -> rule2)) -> rule6))] @5: The bald eagle sees the bear.[(((((((triple9 ((((triple14) -> rule4) triple13) -> rule5)) -> rule3) ((triple10) -> rule2)) -> rule6) triple10) -> rule7))] @6: The bald eagle is round.[(((((((((triple9 ((((triple14) -> rule4) triple13) -> rule5)) -> rule3) ((triple10) -> rule2)) -> rule6) triple10) -> rule7) triple1) -> rule6))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple5
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple6
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple7
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple8
The tiger is red.
("tiger" "is" "red" "+")
triple9
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple10
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple11
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple12
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple13
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple14
The bear is big.
("bear" "is" "big" "+")
((triple3) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
((triple11) -> (rule1 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((triple10) -> (rule2 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
((triple14) -> (rule4 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((((triple14) -> (rule4 % int2)) triple13) -> (rule5 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
((triple9 ((((triple14) -> (rule4 % int3)) triple13) -> (rule5 % int2))) -> (rule3 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
((((triple9 ((((triple14) -> (rule4 % int5)) triple13) -> (rule5 % int4))) -> (rule3 % int3)) ((triple10) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int4
The tiger is blue.
("tiger" "is" "blue" "+")
int5
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((((((triple9 ((((triple14) -> (rule4 % int6)) triple13) -> (rule5 % int5))) -> (rule3 % int4)) ((triple10) -> (rule2 % int3))) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int4
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int5
The tiger is blue.
("tiger" "is" "blue" "+")
int6
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((((((triple9 ((((triple14) -> (rule4 % int7)) triple13) -> (rule5 % int6))) -> (rule3 % int5)) ((triple10) -> (rule2 % int4))) -> (rule6 % int3)) triple10) -> (rule7 % int2)) triple1) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int5
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int6
The tiger is blue.
("tiger" "is" "blue" "+")
int7