The dog is big. The dog is not blue. The dog is cold. The dog is not round. The dog is not young. If someone is big and not blue then they are not round. If someone is cold then they are not round. Round, blue people are not young. All cold people are not young. If someone is blue then they are young. Round people are cold. If someone is young and not big then they are cold. If the dog is round then the dog is young.
The dog is cold.
@0: The dog is big.[(triple1)] The dog is cold.[(triple3)] The dog is not blue.[(triple2)] The dog is not round.[(triple4 OR ((triple3) -> rule2) OR ((triple1 triple2) -> rule1))] The dog is not young.[(triple5 OR ((triple3) -> rule4))]