Bob is rough. Bob is young. Charlie is quiet. Dave is quiet. Dave is smart. Dave is young. Harry is rough. If Harry is quiet then Harry is kind. If Bob is red then Bob is smart. Rough people are kind. All big, rough people are smart. Big people are young. If someone is big then they are red.
Charlie is quiet.
@0: Bob is rough.[(triple1)] Bob is young.[(triple2)] Charlie is quiet.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Harry is rough.[(triple7)] @1: Bob is kind.[(((triple1) -> rule3))] Harry is kind.[(((triple7) -> rule3))]