Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Dave is big. Dave is green. Dave is kind. Kind, green people are quiet. If Dave is quiet and Dave is rough then Dave is green. If someone is big and red then they are rough.
Dave is not rough.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4 OR ((triple3 triple2) -> rule1))] Charlie is red.[(triple5)] Charlie is rough.[(triple6 OR ((triple1 triple5) -> rule3))] Charlie is round.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10)] @1: Dave is quiet.[(((triple10 triple9) -> rule1))]