The cat likes the tiger. The cat visits the tiger. The tiger is big. The tiger is red. The tiger likes the cat. The tiger needs the cat. The tiger visits the cat. If something likes the tiger and it visits the cat then it visits the tiger. If something needs the tiger then it likes the cat. If the tiger is big then the tiger needs the cat. If the tiger visits the cat then the cat likes the tiger. If something is kind then it visits the cat. If the tiger needs the cat then the cat needs the tiger. If something likes the tiger then the tiger likes the cat. If something likes the cat then it is rough.
The tiger is not kind.
@0: The cat likes the tiger.[(triple1 OR ((triple7) -> rule4))] The cat visits the tiger.[(triple2)] The tiger is big.[(triple3)] The tiger is red.[(triple4)] The tiger likes the cat.[(triple5 OR ((triple1) -> rule7) OR ((((triple7) -> rule4)) -> rule7))] The tiger needs the cat.[(triple6 OR ((triple3) -> rule3))] The tiger visits the cat.[(triple7)] @1: The cat needs the tiger.[(((triple6) -> rule6) OR ((((triple3) -> rule3)) -> rule6))] The tiger is rough.[(((triple5) -> rule8) OR ((((triple1) -> rule7)) -> rule8) OR ((((((triple7) -> rule4)) -> rule7)) -> rule8))] @2: The cat likes the cat.[(((((triple6) -> rule6)) -> rule2) OR ((((((triple3) -> rule3)) -> rule6)) -> rule2))] @3: The cat is rough.[(((((((triple6) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule8))]