The dog needs the squirrel. The squirrel chases the tiger. The squirrel is nice. The squirrel needs the dog. The squirrel sees the tiger. The tiger chases the dog. The tiger does not chase the squirrel. The tiger is green. The tiger sees the dog. The tiger does not see the squirrel. If something sees the tiger then it needs the squirrel. If something chases the squirrel and the squirrel does not see the tiger then the tiger sees the squirrel. If the dog is nice and the dog does not chase the tiger then the tiger is not rough.
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
If something sees the tiger then it needs the squirrel.
((("something" "sees" "tiger" "+")) -> ("something" "needs" "squirrel" "+"))
If something chases the squirrel and the squirrel does not see the tiger then the tiger sees the squirrel.
((("something" "chases" "squirrel" "+") ("squirrel" "sees" "tiger" "~")) -> ("tiger" "sees" "squirrel" "+"))
If the dog is nice and the dog does not chase the tiger then the tiger is not rough.
((("dog" "is" "nice" "+") ("dog" "chases" "tiger" "~")) -> ("tiger" "is" "rough" "-"))
The tiger does not chase the squirrel.
True
1
proof
[(triple7)]
("tiger" "chases" "squirrel" "-")
triple7
The squirrel is not nice.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "nice" "-")
triple3
The tiger does not need the squirrel.
Unknown
inv-rconc
[@1: The tiger needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "squirrel" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The dog needs the squirrel.[(triple1)] The squirrel chases the tiger.[(triple2)] The squirrel is nice.[(triple3)] The squirrel needs the dog.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger chases the dog.[(triple6)] The tiger does not chase the squirrel.[(triple7)] The tiger does not see the squirrel.[(triple10)] The tiger is green.[(triple8)] The tiger sees the dog.[(triple9)] @1: The squirrel needs the squirrel.[(((triple5) -> rule1))]
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple2
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple4
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple5
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple6
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
triple7
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple8
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple9
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple5) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1