Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is young. If something is young then it is red. Kind, cold things are red. Cold, big things are quiet.
Harry is kind.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is furry.[(triple3)] Harry is kind.[(triple4)] Harry is quiet.[(triple5 OR ((triple2 triple1) -> rule3))] Harry is red.[(triple6 OR ((triple7) -> rule1) OR ((triple4 triple2) -> rule2))] Harry is young.[(triple7)]