The cat is blue. The cat is cold. The cat is not green. The cat is nice. The cat is red. If something is red then it is cold. All green things are red. All blue things are red.
The cat does not visit the cat.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2 OR ((triple5) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] The cat is nice.[(triple4)] The cat is not green.[(triple3)] The cat is red.[(triple5 OR ((triple1) -> rule3))]