The cat chases the tiger. The cat is big. The cat is nice. The cat needs the tiger. The cat sees the tiger. The tiger is blue. The tiger is cold. The tiger is young. The tiger does not need the cat. The tiger sees the cat. If something is nice and it needs the cat then it does not see the cat. If something chases the tiger then it is blue. If something chases the tiger and the tiger needs the cat then the tiger is young. If something sees the tiger and it is blue then it is young. If something is young then it chases the cat. If something needs the cat and the cat needs the tiger then it chases the cat. If something is big and it sees the cat then it does not need the tiger. If something needs the tiger and it does not need the cat then the tiger does not chase the cat.
The tiger chases the tiger.
@0: The cat chases the tiger.[(triple1)] The cat is big.[(triple2)] The cat is nice.[(triple3)] The cat needs the tiger.[(triple4)] The cat sees the tiger.[(triple5)] The tiger does not need the cat.[(triple9)] The tiger is blue.[(triple6)] The tiger is cold.[(triple7)] The tiger is young.[(triple8)] The tiger sees the cat.[(triple10)] @1: The cat is blue.[(((triple1) -> rule2))] The tiger chases the cat.[(((triple8) -> rule5))] @2: The cat is young.[(((triple5 ((triple1) -> rule2)) -> rule4))] @3: The cat chases the cat.[(((((triple5 ((triple1) -> rule2)) -> rule4)) -> rule5))]