The dog is big. The dog is cold. The dog is nice. The dog is red. The dog is rough. Big, nice people are red. All cold people are nice.
The dog is red.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2)] The dog is nice.[(triple3 OR ((triple2) -> rule2))] The dog is red.[(triple4 OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple2) -> rule2)) -> rule1))] The dog is rough.[(triple5)]