The cat is red. The cat visits the tiger. The tiger eats the cat. The tiger is nice. The tiger is not red. The tiger is not round. The tiger visits the cat. If something visits the tiger then it is blue. If something chases the cat and it is blue then the cat is young. If something is red then it chases the cat. If something chases the cat and it chases the tiger then the tiger is red. If something visits the tiger then the tiger eats the cat. If something chases the cat then it is red. If something chases the cat and it is not round then the cat is red. If something visits the tiger and the tiger chases the cat then the cat visits the tiger.
The cat is not blue.
@0: The cat is red.[(triple1)] The cat visits the tiger.[(triple2)] The tiger eats the cat.[(triple3 OR ((triple2) -> rule5))] The tiger is nice.[(triple4)] The tiger is not red.[(triple5)] The tiger is not round.[(triple6)] The tiger visits the cat.[(triple7)] @1: The cat chases the cat.[(((triple1) -> rule3))] The cat is blue.[(((triple2) -> rule1))] @2: The cat is young.[(((((triple1) -> rule3) ((triple2) -> rule1)) -> rule2))]