The cat chases the tiger. The cat is big. The cat is young. The cat needs the tiger. The cat sees the tiger. The tiger chases the cat. The tiger is big. The tiger is rough. The tiger is young. The tiger sees the cat. If something needs the tiger then it is big. If something sees the tiger then the tiger is red. If something sees the tiger then it sees the cat.
The tiger is kind.
@0: The cat chases the tiger.[(triple1)] The cat is big.[(triple2 OR ((triple4) -> rule1))] The cat is young.[(triple3)] The cat needs the tiger.[(triple4)] The cat sees the tiger.[(triple5)] The tiger chases the cat.[(triple6)] The tiger is big.[(triple7)] The tiger is rough.[(triple8)] The tiger is young.[(triple9)] The tiger sees the cat.[(triple10)] @1: The cat sees the cat.[(((triple5) -> rule3))] The tiger is red.[(((triple5) -> rule2))]