The dog is big. The dog is blue. The dog is cold. The dog is green. The dog is round. Green people are cold. If someone is blue then they are round.
The dog is not big.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3 OR ((triple4) -> rule1))] The dog is green.[(triple4)] The dog is round.[(triple5 OR ((triple2) -> rule2))]