Charlie is blue. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. Dave is cold. Dave is young. Harry is cold. Harry is quiet. Harry is rough. All young, rough people are red. If Dave is blue then Dave is green.
Dave is not green.
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3 OR ((triple5 triple4) -> rule1))] Charlie is rough.[(triple4)] Charlie is young.[(triple5)] Dave is cold.[(triple6)] Dave is young.[(triple7)] Harry is cold.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)]