The bear needs the dog. The bear needs the rabbit. The dog eats the rabbit. The dog is big. The dog is round. The rabbit eats the dog. The rabbit needs the bear. The rabbit needs the dog. The tiger chases the rabbit. The tiger is blue. The tiger needs the dog. If something is rough and it needs the rabbit then it needs the dog. If something is round and big then it chases the rabbit. If something is rough then it needs the tiger. If something chases the bear and it is round then the bear is big. If the dog chases the rabbit and the rabbit eats the dog then the dog is rough. If something chases the dog then the dog is blue. If something eats the bear and the bear eats the dog then it is big. If something is big and it needs the tiger then it chases the bear.
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is round.
("dog" "is" "round" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If something is rough and it needs the rabbit then it needs the dog.
((("something" "is" "rough" "+") ("something" "needs" "rabbit" "+")) -> ("something" "needs" "dog" "+"))
If something is round and big then it chases the rabbit.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "chases" "rabbit" "+"))
If something is rough then it needs the tiger.
((("something" "is" "rough" "+")) -> ("something" "needs" "tiger" "+"))
If something chases the bear and it is round then the bear is big.
((("something" "chases" "bear" "+") ("something" "is" "round" "+")) -> ("bear" "is" "big" "+"))
If the dog chases the rabbit and the rabbit eats the dog then the dog is rough.
((("dog" "chases" "rabbit" "+") ("rabbit" "eats" "dog" "+")) -> ("dog" "is" "rough" "+"))
If something chases the dog then the dog is blue.
((("something" "chases" "dog" "+")) -> ("dog" "is" "blue" "+"))
If something eats the bear and the bear eats the dog then it is big.
((("something" "eats" "bear" "+") ("bear" "eats" "dog" "+")) -> ("something" "is" "big" "+"))
If something is big and it needs the tiger then it chases the bear.
((("something" "is" "big" "+") ("something" "needs" "tiger" "+")) -> ("something" "chases" "bear" "+"))
The dog is round.
True
1
proof
[(triple5)]
("dog" "is" "round" "+")
triple5
The tiger does not chase the rabbit.
False
1
inv-proof
[(triple9)]
("tiger" "chases" "rabbit" "-")
triple9
The dog chases the rabbit.
True
3
proof
[(((triple5 triple4) -> rule2))]
("dog" "chases" "rabbit" "+")
((triple5 triple4) -> (rule2 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog does not chase the rabbit.
False
3
inv-proof
[(((triple5 triple4) -> rule2))]
("dog" "chases" "rabbit" "-")
((triple5 triple4) -> (rule2 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog is rough.
True
5
proof
[(((((triple5 triple4) -> rule2) triple6) -> rule5))]
("dog" "is" "rough" "+")
((((triple5 triple4) -> (rule2 % int2)) triple6) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The dog is not rough.
False
5
inv-proof
[(((((triple5 triple4) -> rule2) triple6) -> rule5))]
("dog" "is" "rough" "-")
((((triple5 triple4) -> (rule2 % int2)) triple6) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The dog needs the tiger.
True
6
proof
[(((((((triple5 triple4) -> rule2) triple6) -> rule5)) -> rule3))]
("dog" "needs" "tiger" "+")
((((((triple5 triple4) -> (rule2 % int3)) triple6) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int3
The dog does not need the tiger.
False
6
inv-proof
[(((((((triple5 triple4) -> rule2) triple6) -> rule5)) -> rule3))]
("dog" "needs" "tiger" "-")
((((((triple5 triple4) -> (rule2 % int3)) triple6) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int3
The dog chases the bear.
True
8
proof
[(((triple4 ((((((triple5 triple4) -> rule2) triple6) -> rule5)) -> rule3)) -> rule8))]
("dog" "chases" "bear" "+")
((triple4 ((((((triple5 triple4) -> (rule2 % int4)) triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int4
The dog does not chase the bear.
False
8
inv-proof
[(((triple4 ((((((triple5 triple4) -> rule2) triple6) -> rule5)) -> rule3)) -> rule8))]
("dog" "chases" "bear" "-")
((triple4 ((((((triple5 triple4) -> (rule2 % int4)) triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int4
The bear is big.
True
10
proof
[(((((triple4 ((((((triple5 triple4) -> rule2) triple6) -> rule5)) -> rule3)) -> rule8) triple5) -> rule4))]
("bear" "is" "big" "+")
((((triple4 ((((((triple5 triple4) -> (rule2 % int5)) triple6) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int5
The bear is not big.
False
10
inv-proof
[(((((triple4 ((((((triple5 triple4) -> rule2) triple6) -> rule5)) -> rule3)) -> rule8) triple5) -> rule4))]
("bear" "is" "big" "-")
((((triple4 ((((((triple5 triple4) -> (rule2 % int5)) triple6) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int5
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "blue" "-")
The rabbit is big.
Unknown
rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "is" "big" "+")
The rabbit does not need the tiger.
Unknown
inv-rconc
[@1: The rabbit needs the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "needs" "tiger" "-")
The bear chases the bear.
Unknown
rconc
[@2: The bear chases the bear.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("bear" "chases" "bear" "+")
The tiger does not chase the bear.
Unknown
inv-rconc
[@2: The tiger chases the bear.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("tiger" "chases" "bear" "-")
The bear chases the rabbit.
Unknown
rconc
[@1: The bear chases the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "rabbit" "+")
The rabbit does not eat the bear.
Unknown
inv-random
[@0: The rabbit eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bear" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
The dog does not need the rabbit.
Unknown
inv-random
[@0: The dog needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "rabbit" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The bear needs the dog.[(triple1)] The bear needs the rabbit.[(triple2)] The dog eats the rabbit.[(triple3)] The dog is big.[(triple4)] The dog is round.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit needs the bear.[(triple7)] The rabbit needs the dog.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger is blue.[(triple10)] The tiger needs the dog.[(triple11)] @1: The dog chases the rabbit.[(((triple5 triple4) -> rule2))] @2: The dog is rough.[(((((triple5 triple4) -> rule2) triple6) -> rule5))] @3: The dog needs the tiger.[(((((((triple5 triple4) -> rule2) triple6) -> rule5)) -> rule3))] @4: The dog chases the bear.[(((triple4 ((((((triple5 triple4) -> rule2) triple6) -> rule5)) -> rule3)) -> rule8))] @5: The bear is big.[(((((triple4 ((((((triple5 triple4) -> rule2) triple6) -> rule5)) -> rule3)) -> rule8) triple5) -> rule4))]
The bear needs the dog.
("bear" "needs" "dog" "+")
triple1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple2
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple6
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple7
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple8
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple11
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
((triple5 triple4) -> (rule2 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((((triple5 triple4) -> (rule2 % int2)) triple6) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
((((((triple5 triple4) -> (rule2 % int3)) triple6) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int3
The dog chases the bear.
("dog" "chases" "bear" "+")
((triple4 ((((((triple5 triple4) -> (rule2 % int4)) triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int4
The bear is big.
("bear" "is" "big" "+")
((((triple4 ((((((triple5 triple4) -> (rule2 % int5)) triple6) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int5