The lion is nice. The squirrel is nice. The squirrel is red. The squirrel likes the lion. The squirrel likes the tiger. The squirrel needs the lion. The squirrel needs the tiger. The squirrel visits the tiger. The tiger likes the lion. The tiger visits the squirrel. If someone visits the tiger then they like the tiger. If someone needs the tiger then the tiger likes the squirrel. If someone visits the lion then the lion is red.
The tiger is cold.
@0: The lion is nice.[(triple1)] The squirrel is nice.[(triple2)] The squirrel is red.[(triple3)] The squirrel likes the lion.[(triple4)] The squirrel likes the tiger.[(triple5 OR ((triple8) -> rule1))] The squirrel needs the lion.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger likes the lion.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The tiger likes the squirrel.[(((triple7) -> rule2))]