The cat is blue. The tiger chases the cat. The tiger is blue. The tiger is cold. The tiger is red. The tiger likes the cat. The tiger does not need the cat. If the tiger likes the cat and the cat is blue then the cat chases the tiger. If something chases the tiger then it likes the cat. If something chases the tiger and it likes the cat then it likes the tiger. If something is red and it likes the cat then the cat is not rough. If something likes the cat then it chases the tiger. If something needs the tiger and it is not rough then it needs the cat. If the tiger needs the cat then the tiger is young. If the tiger is not young then the tiger chases the cat.
The tiger does not need the cat.
@0: The cat is blue.[(triple1)] The tiger chases the cat.[(triple2)] The tiger does not need the cat.[(triple7)] The tiger is blue.[(triple3)] The tiger is cold.[(triple4)] The tiger is red.[(triple5)] The tiger likes the cat.[(triple6)] @1: The cat chases the tiger.[(((triple6 triple1) -> rule1))] The cat is not rough.[(((triple5 triple6) -> rule4))] The tiger chases the tiger.[(((triple6) -> rule5))] @2: The cat likes the cat.[(((((triple6 triple1) -> rule1)) -> rule2))] The tiger likes the tiger.[(((((triple6) -> rule5) triple6) -> rule3))] @3: The cat likes the tiger.[(((((triple6 triple1) -> rule1) ((((triple6 triple1) -> rule1)) -> rule2)) -> rule3))]