The dog is big. The dog is blue. The dog is cold. The dog is not green. The dog is red. Big, green things are not cold. Green things are cold. If something is green and not blue then it is not cold. If the dog is red then the dog is big. All big things are red. If the dog is green then the dog is red.
The dog chases the dog.
@0: The dog is big.[(triple1 OR ((triple5) -> rule4))] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is not green.[(triple4)] The dog is red.[(triple5 OR ((triple1) -> rule5))]