Gary is big. Gary is cold. Gary is nice. Gary is quiet. Gary is young. Harry is furry. Harry is nice. If someone is cold then they are quiet. If someone is quiet and big then they are furry. If Harry is round then Harry is big. All round people are furry. All young people are cold. All furry, round people are cold.
Harry is not big.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2 OR ((triple5) -> rule5))] Gary is nice.[(triple3)] Gary is quiet.[(triple4 OR ((triple2) -> rule1) OR ((((triple5) -> rule5)) -> rule1))] Gary is young.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)] @1: Gary is furry.[(((triple4 triple1) -> rule2) OR ((((triple2) -> rule1) triple1) -> rule2) OR ((((((triple5) -> rule5)) -> rule1) triple1) -> rule2))]