Bob is quiet. Bob is rough. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is young. Gary is blue. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is young. If Bob is rough then Bob is green. If Gary is blue then Gary is rough. Green things are young.
Bob is round.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Charlie is green.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Charlie is young.[(triple8 OR ((triple3) -> rule3))] Gary is blue.[(triple9)] Gary is green.[(triple10)] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Gary is rough.[(triple13 OR ((triple9) -> rule2))] Gary is round.[(triple14)] Gary is young.[(triple15 OR ((triple10) -> rule3))] @1: Bob is green.[(((triple2) -> rule1))] @2: Bob is young.[(((((triple2) -> rule1)) -> rule3))]