Bob is kind. Bob is quiet. Bob is rough. Bob is white. Bob is young. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is young. If someone is kind and young then they are quiet.
Bob is quiet.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2 OR ((triple1 triple5) -> rule1))] Bob is rough.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Harry is kind.[(triple6)] Harry is nice.[(triple7)] Harry is rough.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Harry is quiet.[(((triple6 triple10) -> rule1))]