The dog is big. The dog is blue. The dog is nice. The dog is red. The dog is rough. If the dog is blue then the dog is big. If the dog is rough then the dog is nice. Blue things are nice.
The dog is not big.
@0: The dog is big.[(triple1 OR ((triple2) -> rule1))] The dog is blue.[(triple2)] The dog is nice.[(triple3 OR ((triple2) -> rule3) OR ((triple5) -> rule2))] The dog is red.[(triple4)] The dog is rough.[(triple5)]