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