The cat eats the tiger. The cat is green. The cat is rough. The cat is young. The cat likes the tiger. The tiger eats the cat. The tiger is green. The tiger is kind. The tiger is young. The tiger likes the cat. If someone likes the cat and the cat eats the tiger then the cat likes the tiger. If the cat needs the tiger then the cat likes the tiger. If someone eats the tiger then they are rough. If someone is kind then they eat the tiger. If the cat eats the tiger then the tiger needs the cat. If someone likes the tiger and they eat the cat then they need the tiger. If someone is rough then they like the cat. If someone needs the cat then they like the tiger.
The tiger is young.
@0: The cat eats the tiger.[(triple1)] The cat is green.[(triple2)] The cat is rough.[(triple3 OR ((triple1) -> rule3))] The cat is young.[(triple4)] The cat likes the tiger.[(triple5 OR ((triple10 triple1) -> rule1) OR ((((triple3) -> rule7) triple1) -> rule1) OR ((((((triple1) -> rule3)) -> rule7) triple1) -> rule1) OR ((((((((triple8) -> rule4)) -> rule3)) -> rule7) triple1) -> rule1))] The tiger eats the cat.[(triple6)] The tiger is green.[(triple7)] The tiger is kind.[(triple8)] The tiger is young.[(triple9)] The tiger likes the cat.[(triple10 OR ((((((triple8) -> rule4)) -> rule3)) -> rule7))] @1: The cat likes the cat.[(((triple3) -> rule7) OR ((((triple1) -> rule3)) -> rule7))] The tiger eats the tiger.[(((triple8) -> rule4))] The tiger needs the cat.[(((triple1) -> rule5))] @2: The tiger is rough.[(((((triple8) -> rule4)) -> rule3))] The tiger likes the tiger.[(((((triple1) -> rule5)) -> rule8))] @3: The tiger needs the tiger.[(((((((triple1) -> rule5)) -> rule8) triple6) -> rule6))]