Bob is quiet. Bob is rough. Bob is white. Harry is blue. Harry is nice. Harry is quiet. Harry is white. If something is young then it is round. If something is young and quiet then it is white. Round things are nice. If Bob is round and Bob is blue then Bob is white. If something is rough then it is young. If Harry is round then Harry is nice.
Harry is young.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Bob is white.[(triple3 OR ((((triple2) -> rule5) triple1) -> rule2))] Harry is blue.[(triple4)] Harry is nice.[(triple5)] Harry is quiet.[(triple6)] Harry is white.[(triple7)] @1: Bob is young.[(((triple2) -> rule5))] @2: Bob is round.[(((((triple2) -> rule5)) -> rule1))] @3: Bob is nice.[(((((((triple2) -> rule5)) -> rule1)) -> rule3))]