The dog is big. The dog is cold. The dog is not nice. The dog is rough. The dog is round. If something is cold then it is big. If something is cold and not nice then it is big. All nice things are not round.
The dog likes the dog.
@0: The dog is big.[(triple1 OR ((triple2) -> rule1) OR ((triple2 triple3) -> rule2))] The dog is cold.[(triple2)] The dog is not nice.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)]