The dog is cold. The dog is kind. The dog is nice. The dog is red. The dog is round. Kind, round things are cold. All kind, nice things are cold.
The dog visits the dog.
@0: The dog is cold.[(triple1 OR ((triple2 triple3) -> rule2) OR ((triple2 triple5) -> rule1))] The dog is kind.[(triple2)] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog is round.[(triple5)]