The dog eats the squirrel. The dog is cold. The rabbit chases the tiger. The rabbit eats the dog. The rabbit eats the tiger. The rabbit is cold. The rabbit is green. The rabbit is nice. The squirrel chases the dog. The squirrel chases the rabbit. The squirrel eats the dog. The squirrel needs the rabbit. The tiger chases the dog. The tiger eats the dog. The tiger is cold. The tiger is rough. If the tiger is rough then the tiger needs the dog. If the tiger is cold then the tiger needs the rabbit. If something eats the tiger then it is red. If the rabbit is nice then the rabbit is rough. If something needs the rabbit and the rabbit is cold then the rabbit chases the dog. If something needs the dog then the dog eats the tiger.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If the tiger is rough then the tiger needs the dog.
((("tiger" "is" "rough" "+")) -> ("tiger" "needs" "dog" "+"))
If the tiger is cold then the tiger needs the rabbit.
((("tiger" "is" "cold" "+")) -> ("tiger" "needs" "rabbit" "+"))
If something eats the tiger then it is red.
((("something" "eats" "tiger" "+")) -> ("something" "is" "red" "+"))
If the rabbit is nice then the rabbit is rough.
((("rabbit" "is" "nice" "+")) -> ("rabbit" "is" "rough" "+"))
If something needs the rabbit and the rabbit is cold then the rabbit chases the dog.
((("something" "needs" "rabbit" "+") ("rabbit" "is" "cold" "+")) -> ("rabbit" "chases" "dog" "+"))
If something needs the dog then the dog eats the tiger.
((("something" "needs" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
The squirrel chases the rabbit.
True
1
proof
[(triple10)]
("squirrel" "chases" "rabbit" "+")
triple10
The rabbit does not eat the dog.
False
1
inv-proof
[(triple4)]
("rabbit" "eats" "dog" "-")
triple4
The rabbit is red.
True
2
proof
[(((triple5) -> rule3))]
("rabbit" "is" "red" "+")
((triple5) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is not rough.
False
2
inv-proof
[(((triple8) -> rule4))]
("rabbit" "is" "rough" "-")
((triple8) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The dog eats the tiger.
True
3
proof
[(((((triple16) -> rule1)) -> rule6))]
("dog" "eats" "tiger" "+")
((((triple16) -> (rule1 % int2))) -> (rule6 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int2
The dog does not eat the tiger.
False
3
inv-proof
[(((((triple16) -> rule1)) -> rule6))]
("dog" "eats" "tiger" "-")
((((triple16) -> (rule1 % int2))) -> (rule6 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int2
The dog is red.
True
4
proof
[(((((((triple16) -> rule1)) -> rule6)) -> rule3))]
("dog" "is" "red" "+")
((((((triple16) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int2
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int3
The dog is not red.
False
4
inv-proof
[(((((((triple16) -> rule1)) -> rule6)) -> rule3))]
("dog" "is" "red" "-")
((((((triple16) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int2
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int3
The tiger is not red.
Unknown
inv-rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "red" "-")
The squirrel is red.
Unknown
rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "red" "+")
The dog does not need the tiger.
Unknown
inv-random
[@0: The dog needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "tiger" "-")
The rabbit needs the dog.
Unknown
random
[@0: The rabbit needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "dog" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The squirrel eats the rabbit.
Unknown
random
[@0: The squirrel eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "rabbit" "+")
The rabbit does not need the tiger.
Unknown
inv-random
[@0: The rabbit needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "tiger" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The dog eats the squirrel.[(triple1)] The dog is cold.[(triple2)] The rabbit chases the tiger.[(triple3)] The rabbit eats the dog.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is green.[(triple7)] The rabbit is nice.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel chases the rabbit.[(triple10)] The squirrel eats the dog.[(triple11)] The squirrel needs the rabbit.[(triple12)] The tiger chases the dog.[(triple13)] The tiger eats the dog.[(triple14)] The tiger is cold.[(triple15)] The tiger is rough.[(triple16)] @1: The rabbit chases the dog.[(((triple12 triple6) -> rule5) OR ((((triple15) -> rule2) triple6) -> rule5))] The rabbit is red.[(((triple5) -> rule3))] The rabbit is rough.[(((triple8) -> rule4))] The tiger needs the dog.[(((triple16) -> rule1))] The tiger needs the rabbit.[(((triple15) -> rule2))] @2: The dog eats the tiger.[(((((triple16) -> rule1)) -> rule6))] @3: The dog is red.[(((((((triple16) -> rule1)) -> rule6)) -> rule3))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple4
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple5
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple8
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple9
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple10
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple11
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple12
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple13
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple14
The tiger is cold.
("tiger" "is" "cold" "+")
triple15
The tiger is rough.
("tiger" "is" "rough" "+")
triple16
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
((triple12 triple6) -> (rule5 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
((((triple15) -> (rule2 % int2)) triple6) -> (rule5 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
((triple5) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple8) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The tiger needs the dog.
("tiger" "needs" "dog" "+")
((triple16) -> (rule1 % int1))
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int1
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
((triple15) -> (rule2 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
((((triple16) -> (rule1 % int2))) -> (rule6 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int2
The dog is red.
("dog" "is" "red" "+")
((((((triple16) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int2
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int3