Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is rough. Dave is round. Round, green people are rough. If someone is green and rough then they are nice. If Dave is rough then Dave is big.
Dave is kind.
@0: Dave is big.[(triple1 OR ((triple6) -> rule3) OR ((((triple7 triple3) -> rule1)) -> rule3))] Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5 OR ((triple3 triple6) -> rule2) OR ((triple3 ((triple7 triple3) -> rule1)) -> rule2))] Dave is rough.[(triple6 OR ((triple7 triple3) -> rule1))] Dave is round.[(triple7)]