Anne is round. Bob is big. Bob is kind. Bob is white. Dave is big. Dave is kind. Dave is rough. Dave is round. Dave is smart. Dave is white. If someone is round then they are rough. All rough, white people are round.
Bob is not round.
@0: Anne is round.[(triple1)] Bob is big.[(triple2)] Bob is kind.[(triple3)] Bob is white.[(triple4)] Dave is big.[(triple5)] Dave is kind.[(triple6)] Dave is rough.[(triple7 OR ((triple8) -> rule1))] Dave is round.[(triple8 OR ((triple7 triple10) -> rule2))] Dave is smart.[(triple9)] Dave is white.[(triple10)] @1: Anne is rough.[(((triple1) -> rule1))]