The dog is nice. The dog is young. The dog needs the squirrel. The dog sees the tiger. The squirrel likes the dog. The squirrel likes the tiger. The squirrel needs the tiger. The tiger likes the squirrel. The tiger needs the dog. The tiger sees the squirrel. If something sees the squirrel and it needs the tiger then it is rough. If something likes the dog and it likes the tiger then it likes the squirrel. If something sees the dog then the dog is blue. If something likes the tiger and it is round then the tiger is round. If something likes the dog and the dog is nice then it sees the tiger. If something sees the tiger then the tiger likes the dog. If something needs the tiger then it likes the squirrel. If the squirrel needs the dog and the dog likes the squirrel then the squirrel likes the tiger.
The dog is not rough.
@0: The dog is nice.[(triple1)] The dog is young.[(triple2)] The dog needs the squirrel.[(triple3)] The dog sees the tiger.[(triple4)] The squirrel likes the dog.[(triple5)] The squirrel likes the tiger.[(triple6)] The squirrel needs the tiger.[(triple7)] The tiger likes the squirrel.[(triple8)] The tiger needs the dog.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The squirrel likes the squirrel.[(((triple7) -> rule7) OR ((triple5 triple6) -> rule2))] The squirrel sees the tiger.[(((triple5 triple1) -> rule5))] The tiger likes the dog.[(((triple4) -> rule6) OR ((((triple5 triple1) -> rule5)) -> rule6))] @2: The tiger sees the tiger.[(((((triple4) -> rule6) triple1) -> rule5) OR ((((((triple5 triple1) -> rule5)) -> rule6) triple1) -> rule5))]