The cat eats the tiger. The cat is round. The cat needs the tiger. The tiger chases the cat. The tiger eats the cat. The tiger is young. The tiger needs the cat. If someone chases the cat and they are big then they need the tiger. If someone is round and they need the tiger then the tiger is big. If someone needs the cat then they eat the cat. If someone is round then they are not young. If the cat is green then the cat is big. If the tiger chases the cat then the cat needs the tiger. If someone chases the cat and they need the tiger then they eat the tiger. If someone is round and they chase the tiger then the tiger eats the cat.
The cat needs the tiger.
@0: The cat eats the tiger.[(triple1)] The cat is round.[(triple2)] The cat needs the tiger.[(triple3 OR ((triple4) -> rule6))] The tiger chases the cat.[(triple4)] The tiger eats the cat.[(triple5 OR ((triple7) -> rule3))] The tiger is young.[(triple6)] The tiger needs the cat.[(triple7)] @1: The cat is not young.[(((triple2) -> rule4))] The tiger is big.[(((triple2 triple3) -> rule2) OR ((triple2 ((triple4) -> rule6)) -> rule2))] @2: The tiger needs the tiger.[(((triple4 ((triple2 triple3) -> rule2)) -> rule1) OR ((triple4 ((triple2 ((triple4) -> rule6)) -> rule2)) -> rule1))] @3: The tiger eats the tiger.[(((triple4 ((triple4 ((triple2 triple3) -> rule2)) -> rule1)) -> rule7) OR ((triple4 ((triple4 ((triple2 ((triple4) -> rule6)) -> rule2)) -> rule1)) -> rule7))]