The dog is cold. The dog is nice. The dog needs the squirrel. The dog needs the tiger. The squirrel eats the dog. The squirrel eats the tiger. The squirrel is not cold. The squirrel is not nice. The squirrel is round. The squirrel likes the dog. The squirrel needs the tiger. The tiger is not cold. The tiger is green. The tiger is red. The tiger likes the dog. The tiger needs the dog. If someone eats the tiger then they like the squirrel. If someone needs the dog then the dog does not like the tiger. If someone is cold then they eat the dog. If someone is nice and they do not like the dog then they eat the dog. If someone is red then they eat the tiger. If someone likes the tiger then they eat the squirrel. If someone likes the tiger then the tiger is nice. If someone likes the squirrel and they are green then they are nice.
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If someone eats the tiger then they like the squirrel.
((("someone" "eats" "tiger" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone needs the dog then the dog does not like the tiger.
((("someone" "needs" "dog" "+")) -> ("dog" "likes" "tiger" "-"))
If someone is cold then they eat the dog.
((("someone" "is" "cold" "+")) -> ("someone" "eats" "dog" "+"))
If someone is nice and they do not like the dog then they eat the dog.
((("someone" "is" "nice" "+") ("someone" "likes" "dog" "~")) -> ("someone" "eats" "dog" "+"))
If someone is red then they eat the tiger.
((("someone" "is" "red" "+")) -> ("someone" "eats" "tiger" "+"))
If someone likes the tiger then they eat the squirrel.
((("someone" "likes" "tiger" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone likes the tiger then the tiger is nice.
((("someone" "likes" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If someone likes the squirrel and they are green then they are nice.
((("someone" "likes" "squirrel" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
The squirrel is not nice.
True
1
proof
[(triple8)]
("squirrel" "is" "nice" "-")
triple8
The tiger is cold.
False
1
inv-proof
[(triple12)]
("tiger" "is" "cold" "+")
triple12
The dog eats the dog.
True
2
proof
[(((triple1) -> rule3))]
("dog" "eats" "dog" "+")
((triple1) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the tiger.
False
2
inv-proof
[(((triple16) -> rule2))]
("dog" "likes" "tiger" "+")
((triple16) -> (rule2 % int1))
The dog does not like the tiger.
("dog" "likes" "tiger" "-")
int1
The tiger likes the squirrel.
True
3
proof
[(((((triple14) -> rule5)) -> rule1))]
("tiger" "likes" "squirrel" "+")
((((triple14) -> (rule5 % int2))) -> (rule1 % int1))
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger does not like the squirrel.
False
3
inv-proof
[(((((triple14) -> rule5)) -> rule1))]
("tiger" "likes" "squirrel" "-")
((((triple14) -> (rule5 % int2))) -> (rule1 % int1))
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger is nice.
True
5
proof
[(((((((triple14) -> rule5)) -> rule1) triple13) -> rule8))]
("tiger" "is" "nice" "+")
((((((triple14) -> (rule5 % int3))) -> (rule1 % int2)) triple13) -> (rule8 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger is not nice.
False
5
inv-proof
[(((((((triple14) -> rule5)) -> rule1) triple13) -> rule8))]
("tiger" "is" "nice" "-")
((((((triple14) -> (rule5 % int3))) -> (rule1 % int2)) triple13) -> (rule8 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger does not eat the dog.
Unknown
inv-rconc
[@1: The tiger eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "eats" "dog" "-")
The dog eats the squirrel.
Unknown
rconc
[@1: The dog eats the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "eats" "squirrel" "+")
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The dog eats the tiger.
Unknown
rconc
[@1: The dog eats the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "tiger" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The squirrel needs the dog.
Unknown
random
[@0: The squirrel needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "dog" "+")
@0: The dog is cold.[(triple1)] The dog is nice.[(triple2)] The dog needs the squirrel.[(triple3)] The dog needs the tiger.[(triple4)] The squirrel eats the dog.[(triple5)] The squirrel eats the tiger.[(triple6)] The squirrel is not cold.[(triple7)] The squirrel is not nice.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the dog.[(triple10)] The squirrel needs the tiger.[(triple11)] The tiger is green.[(triple13)] The tiger is not cold.[(triple12)] The tiger is red.[(triple14)] The tiger likes the dog.[(triple15)] The tiger needs the dog.[(triple16)] @1: The dog does not like the tiger.[(((triple16) -> rule2))] The dog eats the dog.[(((triple1) -> rule3))] The squirrel likes the squirrel.[(((triple6) -> rule1))] The tiger eats the tiger.[(((triple14) -> rule5))] @2: The tiger likes the squirrel.[(((((triple14) -> rule5)) -> rule1))] @3: The tiger is nice.[(((((((triple14) -> rule5)) -> rule1) triple13) -> rule8))]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple3
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple4
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple5
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple6
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple7
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple8
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple10
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger is not cold.
("tiger" "is" "cold" "-")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple15
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple16
The dog does not like the tiger.
("dog" "likes" "tiger" "-")
((triple16) -> (rule2 % int1))
The dog does not like the tiger.
("dog" "likes" "tiger" "-")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple1) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple6) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple14) -> (rule5 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
((((triple14) -> (rule5 % int2))) -> (rule1 % int1))
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
((((((triple14) -> (rule5 % int3))) -> (rule1 % int2)) triple13) -> (rule8 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3