The cat does not chase the tiger. The cat is green. The cat is nice. The cat likes the lion. The cat likes the tiger. The lion chases the tiger. The lion is young. The tiger chases the lion. The tiger is green. The tiger does not like the cat. The tiger does not see the cat. The tiger sees the lion. If something is young then it sees the cat. If something is green and red then it does not see the cat. If something is nice then it does not chase the cat. If something chases the tiger and the tiger likes the lion then it is red. If something sees the cat then the cat is young. If the tiger likes the cat then the cat likes the tiger. If something sees the tiger and the tiger chases the cat then the cat likes the lion. If the lion likes the cat then the cat does not see the tiger.
The cat is young.
@0: The cat does not chase the tiger.[(triple1)] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat likes the lion.[(triple4)] The cat likes the tiger.[(triple5)] The lion chases the tiger.[(triple6)] The lion is young.[(triple7)] The tiger chases the lion.[(triple8)] The tiger does not like the cat.[(triple10)] The tiger does not see the cat.[(triple11)] The tiger is green.[(triple9)] The tiger sees the lion.[(triple12)] @1: The cat does not chase the cat.[(((triple3) -> rule3))] The lion sees the cat.[(((triple7) -> rule1))] @2: The cat is young.[(((((triple7) -> rule1)) -> rule5))] @3: The cat sees the cat.[(((((((triple7) -> rule1)) -> rule5)) -> rule1))]