The squirrel is big. The squirrel is cold. The squirrel is kind. The squirrel needs the tiger. The squirrel visits the tiger. The tiger is green. The tiger is rough. The tiger likes the squirrel. The tiger needs the squirrel. The tiger visits the squirrel. If someone is green then they visit the tiger. If someone visits the tiger then they are kind.
The squirrel needs the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is kind.[(triple3 OR ((triple5) -> rule2))] The squirrel needs the tiger.[(triple4)] The squirrel visits the tiger.[(triple5)] The tiger is green.[(triple6)] The tiger is rough.[(triple7)] The tiger likes the squirrel.[(triple8)] The tiger needs the squirrel.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The tiger visits the tiger.[(((triple6) -> rule1))] @2: The tiger is kind.[(((((triple6) -> rule1)) -> rule2))]