Charlie is big. Charlie is kind. Charlie is white. Dave is big. Dave is kind. Dave is rough. Dave is young. Gary is big. Gary is blue. Gary is kind. Gary is rough. Gary is round. All round people are white. If Charlie is rough then Charlie is big. If someone is round then they are kind. If someone is young and white then they are blue. If Charlie is kind then Charlie is white. Kind people are white.
Dave is round.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is white.[(triple3 OR ((triple2) -> rule5) OR ((triple2) -> rule6))] Dave is big.[(triple4)] Dave is kind.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is kind.[(triple10 OR ((triple12) -> rule3))] Gary is rough.[(triple11)] Gary is round.[(triple12)] @1: Dave is white.[(((triple5) -> rule6))] Gary is white.[(((triple10) -> rule6) OR ((triple12) -> rule1) OR ((((triple12) -> rule3)) -> rule6))] @2: Dave is blue.[(((triple7 ((triple5) -> rule6)) -> rule4))]