The dog is big. The dog is green. The dog is kind. The dog is rough. The dog is round. Big, round people are kind.
The dog is not big.
@0: The dog is big.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3 OR ((triple1 triple5) -> rule1))] The dog is rough.[(triple4)] The dog is round.[(triple5)]