Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is young. Harry is cold. Harry is quiet. Harry is rough. If someone is rough and round then they are red. If Harry is rough and Harry is young then Harry is round. All round people are red. All rough, quiet people are young. If someone is red and young then they are round. All red, round people are quiet.
Harry is rough.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3)] Charlie is young.[(triple4)] Harry is cold.[(triple5)] Harry is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Harry is young.[(((triple7 triple6) -> rule4))] @2: Harry is round.[(((triple7 ((triple7 triple6) -> rule4)) -> rule2))] @3: Harry is red.[(((((triple7 ((triple7 triple6) -> rule4)) -> rule2)) -> rule3) OR ((triple7 ((triple7 ((triple7 triple6) -> rule4)) -> rule2)) -> rule1))]