Anne is not white. Bob is red. Bob is rough. Bob is smart. Bob is young. Dave is not red. Dave is white. Dave is not young. Harry is nice. Harry is rough. Young things are rough. If something is young and not nice then it is big. Young, red things are white.
Harry is young.
@0: Anne is not white.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3 OR ((triple5) -> rule1))] Bob is smart.[(triple4)] Bob is young.[(triple5)] Dave is not red.[(triple6)] Dave is not young.[(triple8)] Dave is white.[(triple7)] Harry is nice.[(triple9)] Harry is rough.[(triple10)] @1: Bob is white.[(((triple5 triple2) -> rule3))]