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