Dave is big. Dave is cold. Dave is rough. Dave is round. Gary is red. Harry is big. Harry is rough. If Gary is not red then Gary is not kind. If someone is round then they are cold. Red people are kind. All kind people are young. If Harry is not cold then Harry is kind. If Gary is young and Gary is red then Gary is cold.
Dave is young.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2 OR ((triple4) -> rule2))] Dave is rough.[(triple3)] Dave is round.[(triple4)] Gary is red.[(triple5)] Harry is big.[(triple6)] Harry is rough.[(triple7)] @1: Gary is kind.[(((triple5) -> rule3))] @2: Gary is young.[(((((triple5) -> rule3)) -> rule4))] @3: Gary is cold.[(((((((triple5) -> rule3)) -> rule4) triple5) -> rule6))]