The dog chases the squirrel. The squirrel sees the dog. The tiger is rough. If someone is young then they chase the squirrel. If someone chases the tiger then they see the tiger. If someone sees the dog then they chase the tiger. If someone sees the tiger and the tiger is kind then they need the dog. If someone needs the dog and they see the tiger then the tiger is kind. If someone needs the tiger and the tiger chases the squirrel then the squirrel needs the tiger. If someone is round and they need the tiger then they see the tiger. If someone needs the squirrel and they are big then the squirrel sees the dog.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If someone is young then they chase the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone chases the tiger then they see the tiger.
((("someone" "chases" "tiger" "+")) -> ("someone" "sees" "tiger" "+"))
If someone sees the dog then they chase the tiger.
((("someone" "sees" "dog" "+")) -> ("someone" "chases" "tiger" "+"))
If someone sees the tiger and the tiger is kind then they need the dog.
((("someone" "sees" "tiger" "+") ("tiger" "is" "kind" "+")) -> ("someone" "needs" "dog" "+"))
If someone needs the dog and they see the tiger then the tiger is kind.
((("someone" "needs" "dog" "+") ("someone" "sees" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If someone needs the tiger and the tiger chases the squirrel then the squirrel needs the tiger.
((("someone" "needs" "tiger" "+") ("tiger" "chases" "squirrel" "+")) -> ("squirrel" "needs" "tiger" "+"))
If someone is round and they need the tiger then they see the tiger.
((("someone" "is" "round" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "sees" "tiger" "+"))
If someone needs the squirrel and they are big then the squirrel sees the dog.
((("someone" "needs" "squirrel" "+") ("someone" "is" "big" "+")) -> ("squirrel" "sees" "dog" "+"))
The tiger is rough.
True
1
proof
[(triple3)]
("tiger" "is" "rough" "+")
triple3
The squirrel does not see the dog.
False
1
inv-proof
[(triple2)]
("squirrel" "sees" "dog" "-")
triple2
The squirrel chases the tiger.
True
2
proof
[(((triple2) -> rule3))]
("squirrel" "chases" "tiger" "+")
((triple2) -> (rule3 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel does not chase the tiger.
False
2
inv-proof
[(((triple2) -> rule3))]
("squirrel" "chases" "tiger" "-")
((triple2) -> (rule3 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel sees the tiger.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("squirrel" "sees" "tiger" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel does not see the tiger.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("squirrel" "sees" "tiger" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The tiger is not kind.
Unknown
inv-rconc
[@2: The tiger is kind.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("tiger" "is" "kind" "-")
The dog needs the dog.
Unknown
rconc
[@2: The dog needs the dog.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("dog" "needs" "dog" "+")
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The dog sees the squirrel.
Unknown
random
[@0: The dog sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "squirrel" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The dog chases the squirrel.[(triple1)] The squirrel sees the dog.[(triple2)] The tiger is rough.[(triple3)] @1: The squirrel chases the tiger.[(((triple2) -> rule3))] @2: The squirrel sees the tiger.[(((((triple2) -> rule3)) -> rule2))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple2
The tiger is rough.
("tiger" "is" "rough" "+")
triple3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
((triple2) -> (rule3 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2