The cat eats the tiger. The cat is green. The cat is red. The cat likes the tiger. The cat needs the tiger. The tiger eats the cat. The tiger is green. The tiger is rough. The tiger likes the cat. The tiger needs the cat. If something likes the tiger and it is green then it needs the tiger. If something likes the cat and the cat likes the tiger then it likes the tiger.
The cat is rough.
@0: The cat eats the tiger.[(triple1)] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat likes the tiger.[(triple4)] The cat needs the tiger.[(triple5 OR ((triple4 triple2) -> rule1))] The tiger eats the cat.[(triple6)] The tiger is green.[(triple7)] The tiger is rough.[(triple8)] The tiger likes the cat.[(triple9)] The tiger needs the cat.[(triple10)] @1: The tiger likes the tiger.[(((triple9 triple4) -> rule2))] @2: The tiger needs the tiger.[(((((triple9 triple4) -> rule2) triple7) -> rule1))]