The dog eats the tiger. The dog is green. The dog is red. The dog is young. The dog sees the squirrel. The squirrel chases the tiger. The squirrel eats the tiger. The squirrel sees the dog. The tiger chases the dog. The tiger eats the squirrel. The tiger sees the dog. The tiger sees the squirrel. If something is red then it eats the squirrel. If something sees the squirrel then it chases the tiger. If something sees the tiger and the tiger sees the squirrel then the squirrel eats the dog. If something eats the dog and the dog sees the squirrel then the squirrel chases the tiger. If something sees the squirrel and the squirrel is young then the squirrel chases the tiger. If something sees the squirrel and it eats the dog then it chases the dog. If something chases the squirrel then the squirrel sees the dog. If something is young and it chases the dog then the dog sees the squirrel.
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
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 sees the dog.
("tiger" "sees" "dog" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If something is red then it eats the squirrel.
((("something" "is" "red" "+")) -> ("something" "eats" "squirrel" "+"))
If something sees the squirrel then it chases the tiger.
((("something" "sees" "squirrel" "+")) -> ("something" "chases" "tiger" "+"))
If something sees the tiger and the tiger sees the squirrel then the squirrel eats the dog.
((("something" "sees" "tiger" "+") ("tiger" "sees" "squirrel" "+")) -> ("squirrel" "eats" "dog" "+"))
If something eats the dog and the dog sees the squirrel then the squirrel chases the tiger.
((("something" "eats" "dog" "+") ("dog" "sees" "squirrel" "+")) -> ("squirrel" "chases" "tiger" "+"))
If something sees the squirrel and the squirrel is young then the squirrel chases the tiger.
((("something" "sees" "squirrel" "+") ("squirrel" "is" "young" "+")) -> ("squirrel" "chases" "tiger" "+"))
If something sees the squirrel and it eats the dog then it chases the dog.
((("something" "sees" "squirrel" "+") ("something" "eats" "dog" "+")) -> ("something" "chases" "dog" "+"))
If something chases the squirrel then the squirrel sees the dog.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "sees" "dog" "+"))
If something is young and it chases the dog then the dog sees the squirrel.
((("something" "is" "young" "+") ("something" "chases" "dog" "+")) -> ("dog" "sees" "squirrel" "+"))
The squirrel chases the tiger.
True
1
proof
[(triple6)]
("squirrel" "chases" "tiger" "+")
triple6
The dog is not red.
False
1
inv-proof
[(triple3)]
("dog" "is" "red" "-")
triple3
The dog eats the squirrel.
True
2
proof
[(((triple3) -> rule1))]
("dog" "eats" "squirrel" "+")
((triple3) -> (rule1 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog does not eat the squirrel.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "eats" "squirrel" "-")
((triple3) -> (rule1 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The squirrel does not chase the dog.
Unknown
inv-rconc
[@1: The squirrel chases the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "chases" "dog" "-")
The dog chases the dog.
Unknown
rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "chases" "dog" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The dog eats the tiger.[(triple1)] The dog is green.[(triple2)] The dog is red.[(triple3)] The dog is young.[(triple4)] The dog sees the squirrel.[(triple5)] The squirrel chases the tiger.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel sees the dog.[(triple8)] The tiger chases the dog.[(triple9)] The tiger eats the squirrel.[(triple10)] The tiger sees the dog.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The dog chases the tiger.[(((triple5) -> rule2))] The dog eats the squirrel.[(((triple3) -> rule1))] The tiger chases the tiger.[(((triple12) -> rule2))]
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple5
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple6
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple7
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple8
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple9
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple10
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple11
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple12
The dog chases the tiger.
("dog" "chases" "tiger" "+")
((triple5) -> (rule2 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
((triple3) -> (rule1 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple12) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1