Dave is big. Dave is green. Dave is red. All kind, big people are blue. If someone is cold and green then they are round. Green people are red.
Dave is green.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is red.[(triple3 OR ((triple2) -> rule3))]