Bob is quiet. Bob is smart. Bob is young. Charlie is kind. Charlie is rough. Charlie is round. Dave is round. Dave is white. Harry is round. Harry is young. Smart, quiet things are rough. If something is quiet and white then it is young. All smart things are quiet.
Harry is smart.
@0: Bob is quiet.[(triple1 OR ((triple2) -> rule3))] Bob is smart.[(triple2)] Bob is young.[(triple3)] Charlie is kind.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Dave is round.[(triple7)] Dave is white.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Bob is rough.[(((triple2 triple1) -> rule1) OR ((triple2 ((triple2) -> rule3)) -> rule1))]