The cow visits the tiger. The tiger is nice. The tiger is red. The tiger is rough. The tiger likes the cow. The tiger needs the cow. The tiger visits the cow. If someone visits the cow then the cow visits the tiger. If someone is rough then they need the tiger. Cold people are round. If someone likes the cow then the cow likes the tiger. If the cow likes the tiger then the cow is cold. If someone is rough then they like the tiger.
The cow needs the cow.
@0: The cow visits the tiger.[(triple1 OR ((triple7) -> rule1))] The tiger is nice.[(triple2)] The tiger is red.[(triple3)] The tiger is rough.[(triple4)] The tiger likes the cow.[(triple5)] The tiger needs the cow.[(triple6)] The tiger visits the cow.[(triple7)] @1: The cow likes the tiger.[(((triple5) -> rule4))] The tiger likes the tiger.[(((triple4) -> rule6))] The tiger needs the tiger.[(((triple4) -> rule2))] @2: The cow is cold.[(((((triple5) -> rule4)) -> rule5))] @3: The cow is round.[(((((((triple5) -> rule4)) -> rule5)) -> rule3))]