The cat does not chase the dog. The cat chases the tiger. The cat likes the dog. The dog chases the cat. The dog chases the tiger. The dog is green. The dog is nice. The dog likes the cat. The dog likes the squirrel. The dog likes the tiger. The dog sees the cat. The squirrel is red. The tiger does not chase the squirrel. The tiger is cold. The tiger is red. The tiger sees the dog. If the tiger chases the squirrel then the squirrel sees the tiger. If someone likes the squirrel and the squirrel likes the cat then the cat does not see the tiger. If someone chases the tiger and the tiger does not see the cat then they are not green. If someone chases the squirrel and they chase the tiger then the squirrel sees the cat. If someone chases the dog then they chase the squirrel. If someone sees the cat then they chase the dog. If someone likes the squirrel and they are not cold then they are nice. If someone chases the dog and they do not like the dog then the dog likes the cat. If someone sees the dog and they are not nice then they see the tiger.
The cat does not chase the dog.
("cat" "chases" "dog" "-")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If the tiger chases the squirrel then the squirrel sees the tiger.
((("tiger" "chases" "squirrel" "+")) -> ("squirrel" "sees" "tiger" "+"))
If someone likes the squirrel and the squirrel likes the cat then the cat does not see the tiger.
((("someone" "likes" "squirrel" "+") ("squirrel" "likes" "cat" "+")) -> ("cat" "sees" "tiger" "-"))
If someone chases the tiger and the tiger does not see the cat then they are not green.
((("someone" "chases" "tiger" "+") ("tiger" "sees" "cat" "~")) -> ("someone" "is" "green" "-"))
If someone chases the squirrel and they chase the tiger then the squirrel sees the cat.
((("someone" "chases" "squirrel" "+") ("someone" "chases" "tiger" "+")) -> ("squirrel" "sees" "cat" "+"))
If someone chases the dog then they chase the squirrel.
((("someone" "chases" "dog" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone sees the cat then they chase the dog.
((("someone" "sees" "cat" "+")) -> ("someone" "chases" "dog" "+"))
If someone likes the squirrel and they are not cold then they are nice.
((("someone" "likes" "squirrel" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "nice" "+"))
If someone chases the dog and they do not like the dog then the dog likes the cat.
((("someone" "chases" "dog" "+") ("someone" "likes" "dog" "~")) -> ("dog" "likes" "cat" "+"))
If someone sees the dog and they are not nice then they see the tiger.
((("someone" "sees" "dog" "+") ("someone" "is" "nice" "~")) -> ("someone" "sees" "tiger" "+"))
The cat likes the dog.
True
1
proof
[(triple3)]
("cat" "likes" "dog" "+")
triple3
The tiger is not red.
False
1
inv-proof
[(triple15)]
("tiger" "is" "red" "-")
triple15
The dog chases the dog.
True
2
proof
[(((triple11) -> rule6))]
("dog" "chases" "dog" "+")
((triple11) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not chase the dog.
False
2
inv-proof
[(((triple11) -> rule6))]
("dog" "chases" "dog" "-")
((triple11) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the squirrel.
True
3
proof
[(((((triple11) -> rule6)) -> rule5))]
("dog" "chases" "squirrel" "+")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog does not chase the squirrel.
False
3
inv-proof
[(((((triple11) -> rule6)) -> rule5))]
("dog" "chases" "squirrel" "-")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The squirrel sees the cat.
True
5
proof
[(((((((triple11) -> rule6)) -> rule5) triple5) -> rule4))]
("squirrel" "sees" "cat" "+")
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The squirrel does not see the cat.
False
5
inv-proof
[(((((((triple11) -> rule6)) -> rule5) triple5) -> rule4))]
("squirrel" "sees" "cat" "-")
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The squirrel chases the dog.
True
6
proof
[(((((((((triple11) -> rule6)) -> rule5) triple5) -> rule4)) -> rule6))]
("squirrel" "chases" "dog" "+")
((((((((triple11) -> (rule6 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
int4
The squirrel does not chase the dog.
False
6
inv-proof
[(((((((((triple11) -> rule6)) -> rule5) triple5) -> rule4)) -> rule6))]
("squirrel" "chases" "dog" "-")
((((((((triple11) -> (rule6 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
int4
The squirrel chases the squirrel.
True
7
proof
[(((((((((((triple11) -> rule6)) -> rule5) triple5) -> rule4)) -> rule6)) -> rule5))]
("squirrel" "chases" "squirrel" "+")
((((((((((triple11) -> (rule6 % int5))) -> (rule5 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int3
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int4
The dog chases the dog.
("dog" "chases" "dog" "+")
int5
The squirrel does not chase the squirrel.
False
7
inv-proof
[(((((((((((triple11) -> rule6)) -> rule5) triple5) -> rule4)) -> rule6)) -> rule5))]
("squirrel" "chases" "squirrel" "-")
((((((((((triple11) -> (rule6 % int5))) -> (rule5 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int3
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int4
The dog chases the dog.
("dog" "chases" "dog" "+")
int5
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "is" "nice" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "nice" "+")
The tiger does not chase the dog.
Unknown
inv-rconc
[@1: The tiger chases the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "chases" "dog" "-")
The cat chases the squirrel.
Unknown
rconc
[@1: The cat chases the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "chases" "squirrel" "+")
The cat does not see the tiger.
Unknown
inv-rconc
[@1: The cat sees the tiger.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("cat" "sees" "tiger" "-")
The cat is nice.
Unknown
rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "is" "nice" "+")
The dog does not see the squirrel.
Unknown
inv-random
[@0: The dog sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "squirrel" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The tiger does not like the dog.
Unknown
inv-random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "-")
The squirrel likes the tiger.
Unknown
random
[@0: The squirrel likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "tiger" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat likes the tiger.
Unknown
random
[@0: The cat likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "tiger" "+")
@0: The cat chases the tiger.[(triple2)] The cat does not chase the dog.[(triple1)] The cat likes the dog.[(triple3)] The dog chases the cat.[(triple4)] The dog chases the tiger.[(triple5)] The dog is green.[(triple6)] The dog is nice.[(triple7)] The dog likes the cat.[(triple8)] The dog likes the squirrel.[(triple9)] The dog likes the tiger.[(triple10)] The dog sees the cat.[(triple11)] The squirrel is red.[(triple12)] The tiger does not chase the squirrel.[(triple13)] The tiger is cold.[(triple14)] The tiger is red.[(triple15)] The tiger sees the dog.[(triple16)] @1: The dog chases the dog.[(((triple11) -> rule6))] @2: The dog chases the squirrel.[(((((triple11) -> rule6)) -> rule5))] @3: The squirrel sees the cat.[(((((((triple11) -> rule6)) -> rule5) triple5) -> rule4))] @4: The squirrel chases the dog.[(((((((((triple11) -> rule6)) -> rule5) triple5) -> rule4)) -> rule6))] @5: The squirrel chases the squirrel.[(((((((((((triple11) -> rule6)) -> rule5) triple5) -> rule4)) -> rule6)) -> rule5))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
The cat does not chase the dog.
("cat" "chases" "dog" "-")
triple1
The cat likes the dog.
("cat" "likes" "dog" "+")
triple3
The dog chases the cat.
("dog" "chases" "cat" "+")
triple4
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog likes the cat.
("dog" "likes" "cat" "+")
triple8
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple9
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple10
The dog sees the cat.
("dog" "sees" "cat" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
triple13
The tiger is cold.
("tiger" "is" "cold" "+")
triple14
The tiger is red.
("tiger" "is" "red" "+")
triple15
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple16
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple11) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((((((((triple11) -> (rule6 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
int4
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((((((((((triple11) -> (rule6 % int5))) -> (rule5 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int3
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int4
The dog chases the dog.
("dog" "chases" "dog" "+")
int5