The cat eats the tiger. The cat likes the tiger. The lion likes the cat. The rabbit is red. The rabbit is not young. The rabbit likes the lion. The tiger likes the cat. If someone is cold and they like the tiger then the tiger does not like the lion. If someone chases the tiger then the tiger likes the lion. If the tiger is cold then the tiger chases the rabbit. If the lion chases the cat then the cat chases the tiger. If someone eats the tiger then the tiger is cold. If someone is young then they chase the tiger. If someone chases the tiger then the tiger does not like the rabbit. If the tiger likes the cat and the tiger chases the rabbit then the tiger is young. If the lion is rough and the lion is not red then the lion does not like the rabbit.
The tiger likes the lion.
@0: The cat eats the tiger.[(triple1)] The cat likes the tiger.[(triple2)] The lion likes the cat.[(triple3)] The rabbit is not young.[(triple5)] The rabbit is red.[(triple4)] The rabbit likes the lion.[(triple6)] The tiger likes the cat.[(triple7)] @1: The tiger is cold.[(((triple1) -> rule5))] @2: The tiger chases the rabbit.[(((((triple1) -> rule5)) -> rule3))] @3: The tiger is young.[(((triple7 ((((triple1) -> rule5)) -> rule3)) -> rule8))] @4: The tiger chases the tiger.[(((((triple7 ((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule6))] @5: The tiger does not like the rabbit.[(((((((triple7 ((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule7))] The tiger likes the lion.[(((((((triple7 ((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule2))]