The dog is big. The dog is blue. The dog is not cold. The dog is green. The dog is kind. If the dog is big and the dog is cold then the dog is blue. If the dog is blue then the dog is big. If the dog is kind then the dog is big. If the dog is green and the dog is kind then the dog is big. If something is big and not kind then it is not cold. Cold things are green.
The dog is not blue.
@0: The dog is big.[(triple1 OR ((triple2) -> rule2) OR ((triple5) -> rule3) OR ((triple4 triple5) -> rule4))] The dog is blue.[(triple2)] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is not cold.[(triple3)]