Bob is cold. Bob is rough. Bob is round. Dave is round. Harry is cold. Harry is round. Harry is young. If someone is cold and rough then they are young. If someone is round and not smart then they are not young. If someone is smart and cold then they are not young. Cold people are young. If Harry is rough then Harry is big. If someone is rough then they are cold. If someone is smart then they are round. If someone is cold and not round then they are not big.
Dave is rough.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule6))] Bob is rough.[(triple2)] Bob is round.[(triple3)] Dave is round.[(triple4)] Harry is cold.[(triple5)] Harry is round.[(triple6)] Harry is young.[(triple7 OR ((triple5) -> rule4))] @1: Bob is young.[(((triple1) -> rule4) OR ((triple1 triple2) -> rule1) OR ((((triple2) -> rule6)) -> rule4) OR ((((triple2) -> rule6) triple2) -> rule1))]