The cat is young. The cat sees the lion. The lion eats the cat. The lion is big. The lion is green. The lion is round. The lion is young. The lion sees the rabbit. The lion sees the tiger. The rabbit eats the cat. The rabbit is big. The rabbit likes the lion. The tiger eats the rabbit. The tiger is round. The tiger is young. If the cat likes the tiger and the tiger likes the cat then the tiger likes the lion. If someone likes the lion then they see the cat. If someone is young and they like the rabbit then the rabbit eats the cat. If someone sees the tiger and they like the tiger then they are big. If the lion eats the cat and the cat sees the lion then the cat eats the lion. If the lion is young and the lion eats the tiger then the lion eats the cat. If someone likes the tiger then they are nice. If someone eats the lion and the lion is green then they like the tiger.
The tiger is nice.
@0: The cat is young.[(triple1)] The cat sees the lion.[(triple2)] The lion eats the cat.[(triple3)] The lion is big.[(triple4)] The lion is green.[(triple5)] The lion is round.[(triple6)] The lion is young.[(triple7)] The lion sees the rabbit.[(triple8)] The lion sees the tiger.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit is big.[(triple11)] The rabbit likes the lion.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger is round.[(triple14)] The tiger is young.[(triple15)] @1: The cat eats the lion.[(((triple3 triple2) -> rule5))] The rabbit sees the cat.[(((triple12) -> rule2))] @2: The cat likes the tiger.[(((((triple3 triple2) -> rule5) triple5) -> rule8))] @3: The cat is nice.[(((((((triple3 triple2) -> rule5) triple5) -> rule8)) -> rule7))]