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