Gary is blue. Gary is nice. Gary is quiet. Gary is round. Gary is young. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is young. If someone is nice then they are kind. If someone is blue then they are quiet. Blue, kind people are nice.
Harry is kind.
@0: Gary is blue.[(triple1)] Gary is nice.[(triple2)] Gary is quiet.[(triple3 OR ((triple1) -> rule2))] Gary is round.[(triple4)] Gary is young.[(triple5)] Harry is blue.[(triple6)] Harry is kind.[(triple7 OR ((triple8) -> rule1))] Harry is nice.[(triple8 OR ((triple6 triple7) -> rule3))] Harry is quiet.[(triple9 OR ((triple6) -> rule2))] Harry is round.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Gary is kind.[(((triple2) -> rule1))]