The cat likes the tiger. The cat needs the tiger. The tiger eats the cat. If someone needs the tiger then they like the tiger. If someone likes the cat and the cat likes the tiger then the tiger needs the cat. If the cat eats the tiger and the tiger likes the cat then the tiger is rough. If someone likes the tiger then the tiger likes the cat. If someone likes the cat then they need the tiger. If someone likes the tiger and they need the tiger then they like the cat.
The tiger is kind.
@0: The cat likes the tiger.[(triple1 OR ((triple2) -> rule1))] The cat needs the tiger.[(triple2)] The tiger eats the cat.[(triple3)] @1: The cat likes the cat.[(((triple1 triple2) -> rule6) OR ((((triple2) -> rule1) triple2) -> rule6))] The tiger likes the cat.[(((triple1) -> rule4) OR ((((triple2) -> rule1)) -> rule4))] @2: The tiger needs the cat.[(((((triple1) -> rule4) triple1) -> rule2) OR ((((triple1 triple2) -> rule6) triple1) -> rule2) OR ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule2) OR ((((triple1 triple2) -> rule6) ((triple2) -> rule1)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) triple1) -> rule2) OR ((((((triple2) -> rule1) triple2) -> rule6) triple1) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule2) OR ((((((triple2) -> rule1) triple2) -> rule6) ((triple2) -> rule1)) -> rule2))] The tiger needs the tiger.[(((((triple1) -> rule4)) -> rule5) OR ((((((triple2) -> rule1)) -> rule4)) -> rule5))] @3: The tiger likes the tiger.[(((((((triple1) -> rule4)) -> rule5)) -> rule1) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule5)) -> rule1))]