The dog chases the tiger. The dog eats the tiger. The dog is big. The dog is round. The dog does not see the tiger. The squirrel chases the dog. The squirrel chases the tiger. The squirrel is big. The squirrel is blue. The squirrel sees the dog. The tiger chases the dog. The tiger eats the squirrel. The tiger is big. The tiger is blue. The tiger is nice. The tiger sees the squirrel. If something eats the tiger then it chases the squirrel. If something eats the tiger and it eats the squirrel then it sees the dog.
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is round.
("dog" "is" "round" "+")
The dog does not see the tiger.
("dog" "sees" "tiger" "-")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If something eats the tiger then it chases the squirrel.
((("something" "eats" "tiger" "+")) -> ("something" "chases" "squirrel" "+"))
If something eats the tiger and it eats the squirrel then it sees the dog.
((("something" "eats" "tiger" "+") ("something" "eats" "squirrel" "+")) -> ("something" "sees" "dog" "+"))
The tiger eats the squirrel.
True
1
proof
[(triple12)]
("tiger" "eats" "squirrel" "+")
triple12
The dog sees the tiger.
False
1
inv-proof
[(triple5)]
("dog" "sees" "tiger" "+")
triple5
The dog chases the squirrel.
True
2
proof
[(((triple2) -> rule1))]
("dog" "chases" "squirrel" "+")
((triple2) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog does not chase the squirrel.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "chases" "squirrel" "-")
((triple2) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The tiger does not see the dog.
Unknown
inv-rconc
[@1: The tiger sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "sees" "dog" "-")
The dog sees the dog.
Unknown
rconc
[@1: The dog sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "sees" "dog" "+")
The dog does not eat the squirrel.
Unknown
inv-random
[@0: The dog eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "squirrel" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The dog chases the tiger.[(triple1)] The dog does not see the tiger.[(triple5)] The dog eats the tiger.[(triple2)] The dog is big.[(triple3)] The dog is round.[(triple4)] The squirrel chases the dog.[(triple6)] The squirrel chases the tiger.[(triple7)] The squirrel is big.[(triple8)] The squirrel is blue.[(triple9)] The squirrel sees the dog.[(triple10)] The tiger chases the dog.[(triple11)] The tiger eats the squirrel.[(triple12)] The tiger is big.[(triple13)] The tiger is blue.[(triple14)] The tiger is nice.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The dog chases the squirrel.[(((triple2) -> rule1))]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple1
The dog does not see the tiger.
("dog" "sees" "tiger" "-")
triple5
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple6
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple10
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple11
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger is blue.
("tiger" "is" "blue" "+")
triple14
The tiger is nice.
("tiger" "is" "nice" "+")
triple15
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple16
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((triple2) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1