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