The cat chases the tiger. The cat is cold. The cat is green. The tiger is green. The tiger is young. The tiger likes the cat. The tiger visits the cat. If something visits the cat and the cat is blue then it chases the tiger. If the tiger visits the cat and the tiger is cold then the tiger likes the cat. If something visits the tiger and it is blue then the tiger is red. Blue, green things are cold. If something likes the tiger then the tiger is blue. If something likes the tiger and the tiger is young then it is cold. All young things are blue. If something likes the tiger and the tiger chases the cat then the cat likes the tiger.
The cat is not blue.
@0: The cat chases the tiger.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3)] The tiger is green.[(triple4)] The tiger is young.[(triple5)] The tiger likes the cat.[(triple6 OR ((triple7 ((((triple5) -> rule7) triple4) -> rule4)) -> rule2))] The tiger visits the cat.[(triple7)] @1: The tiger is blue.[(((triple5) -> rule7))] @2: The tiger is cold.[(((((triple5) -> rule7) triple4) -> rule4))]