The bear chases the tiger. The bear does not like the tiger. The bear needs the cat. The bear needs the tiger. The cat chases the bear. The cat is big. The cow chases the bear. The cow chases the tiger. The cow likes the cat. The cow needs the tiger. The tiger is green. The tiger is young. The tiger likes the bear. The tiger likes the cat. If something likes the bear then it does not like the cow. If something chases the cat then it likes the cow. If something likes the cow then the cow needs the cat. If the tiger does not need the bear then the tiger is big. If something chases the cat then it is big. All kind things are not big. If something needs the bear then the bear likes the tiger. If something needs the cat then it chases the cat. If something likes the cat then the cat chases the bear.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
If something likes the bear then it does not like the cow.
((("something" "likes" "bear" "+")) -> ("something" "likes" "cow" "-"))
If something chases the cat then it likes the cow.
((("something" "chases" "cat" "+")) -> ("something" "likes" "cow" "+"))
If something likes the cow then the cow needs the cat.
((("something" "likes" "cow" "+")) -> ("cow" "needs" "cat" "+"))
If the tiger does not need the bear then the tiger is big.
((("tiger" "needs" "bear" "~")) -> ("tiger" "is" "big" "+"))
If something chases the cat then it is big.
((("something" "chases" "cat" "+")) -> ("something" "is" "big" "+"))
All kind things are not big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "-"))
If something needs the bear then the bear likes the tiger.
((("something" "needs" "bear" "+")) -> ("bear" "likes" "tiger" "+"))
If something needs the cat then it chases the cat.
((("something" "needs" "cat" "+")) -> ("something" "chases" "cat" "+"))
If something likes the cat then the cat chases the bear.
((("something" "likes" "cat" "+")) -> ("cat" "chases" "bear" "+"))
The tiger likes the bear.
True
1
proof
[(triple13)]
("tiger" "likes" "bear" "+")
triple13
The bear likes the tiger.
False
1
inv-proof
[(triple2)]
("bear" "likes" "tiger" "+")
triple2
The bear chases the cat.
True
2
proof
[(((triple3) -> rule8))]
("bear" "chases" "cat" "+")
((triple3) -> (rule8 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear does not chase the cat.
False
2
inv-proof
[(((triple3) -> rule8))]
("bear" "chases" "cat" "-")
((triple3) -> (rule8 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear likes the cow.
True
3
proof
[(((((triple3) -> rule8)) -> rule2))]
("bear" "likes" "cow" "+")
((((triple3) -> (rule8 % int2))) -> (rule2 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bear does not like the cow.
False
3
inv-proof
[(((((triple3) -> rule8)) -> rule2))]
("bear" "likes" "cow" "-")
((((triple3) -> (rule8 % int2))) -> (rule2 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The cow needs the cat.
True
4
proof
[(((((((triple3) -> rule8)) -> rule2)) -> rule3))]
("cow" "needs" "cat" "+")
((((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The cow does not need the cat.
False
4
inv-proof
[(((((((triple3) -> rule8)) -> rule2)) -> rule3))]
("cow" "needs" "cat" "-")
((((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The cow chases the cat.
True
5
proof
[(((((((((triple3) -> rule8)) -> rule2)) -> rule3)) -> rule8))]
("cow" "chases" "cat" "+")
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3
The bear chases the cat.
("bear" "chases" "cat" "+")
int4
The cow does not chase the cat.
False
5
inv-proof
[(((((((((triple3) -> rule8)) -> rule2)) -> rule3)) -> rule8))]
("cow" "chases" "cat" "-")
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3
The bear chases the cat.
("bear" "chases" "cat" "+")
int4
The cow is big.
True
6
proof
[(((((((((((triple3) -> rule8)) -> rule2)) -> rule3)) -> rule8)) -> rule5))]
("cow" "is" "big" "+")
((((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
The cow needs the cat.
("cow" "needs" "cat" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
The cow is not big.
False
6
inv-proof
[(((((((((((triple3) -> rule8)) -> rule2)) -> rule3)) -> rule8)) -> rule5))]
("cow" "is" "big" "-")
((((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
The cow needs the cat.
("cow" "needs" "cat" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
The tiger does not chase the cat.
Unknown
inv-rconc
[@1: The tiger chases the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "chases" "cat" "-")
The cat likes the cow.
Unknown
rconc
[@2: The cat likes the cow.[CWA. Example of deepest failure = (rule2 <- rule8 <- FAIL)]]
("cat" "likes" "cow" "+")
The tiger is not big.
Unknown
inv-rconc
[@2: The tiger is big.[CWA. Example of deepest failure = (rule5 <- rule8 <- FAIL)]]
("tiger" "is" "big" "-")
The cat chases the cat.
Unknown
rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "chases" "cat" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The tiger chases the bear.
Unknown
random
[@0: The tiger chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bear" "+")
The bear does not like the cat.
Unknown
inv-random
[@0: The bear likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cat" "-")
The bear chases the cow.
Unknown
random
[@0: The bear chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cow" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
The bear does not need the cow.
Unknown
inv-random
[@0: The bear needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cow" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bear chases the tiger.[(triple1)] The bear does not like the tiger.[(triple2)] The bear needs the cat.[(triple3)] The bear needs the tiger.[(triple4)] The cat chases the bear.[(triple5 OR ((triple14) -> rule9) OR ((triple9) -> rule9))] The cat is big.[(triple6)] The cow chases the bear.[(triple7)] The cow chases the tiger.[(triple8)] The cow likes the cat.[(triple9)] The cow needs the tiger.[(triple10)] The tiger is green.[(triple11)] The tiger is young.[(triple12)] The tiger likes the bear.[(triple13)] The tiger likes the cat.[(triple14)] @1: The bear chases the cat.[(((triple3) -> rule8))] The tiger does not like the cow.[(((triple13) -> rule1))] @2: The bear is big.[(((((triple3) -> rule8)) -> rule5))] The bear likes the cow.[(((((triple3) -> rule8)) -> rule2))] @3: The cow needs the cat.[(((((((triple3) -> rule8)) -> rule2)) -> rule3))] @4: The cow chases the cat.[(((((((((triple3) -> rule8)) -> rule2)) -> rule3)) -> rule8))] @5: The cow is big.[(((((((((((triple3) -> rule8)) -> rule2)) -> rule3)) -> rule8)) -> rule5))] The cow likes the cow.[(((((((((((triple3) -> rule8)) -> rule2)) -> rule3)) -> rule8)) -> rule2))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear does not like the tiger.
("bear" "likes" "tiger" "-")
triple2
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple5
((triple14) -> (rule9 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
((triple9) -> (rule9 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat is big.
("cat" "is" "big" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple7
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple8
The cow likes the cat.
("cow" "likes" "cat" "+")
triple9
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple13
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple14
The bear chases the cat.
("bear" "chases" "cat" "+")
((triple3) -> (rule8 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
((triple13) -> (rule1 % int1))
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
int1
The bear is big.
("bear" "is" "big" "+")
((((triple3) -> (rule8 % int2))) -> (rule5 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
((((triple3) -> (rule8 % int2))) -> (rule2 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The cow needs the cat.
("cow" "needs" "cat" "+")
((((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The cow chases the cat.
("cow" "chases" "cat" "+")
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3
The bear chases the cat.
("bear" "chases" "cat" "+")
int4
The cow is big.
("cow" "is" "big" "+")
((((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
The cow needs the cat.
("cow" "needs" "cat" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
The cow likes the cow.
("cow" "likes" "cow" "+")
((((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
The cow needs the cat.
("cow" "needs" "cat" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5