Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is round. Bob is white. Bob is young. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is white. Harry is young. If Bob is round then Bob is nice. All round, quiet things are white.
Bob is not red.
@0: Bob is nice.[(triple1 OR ((triple5) -> rule1))] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6 OR ((triple5 triple2) -> rule2))] Bob is young.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)] Harry is white.[(triple13 OR ((triple12 triple9) -> rule2))] Harry is young.[(triple14)]