Anne is big. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is white. Charlie is nice. Charlie is red. Charlie is white. Dave is big. Dave is kind. Dave is nice. Dave is red. Dave is rough. If someone is kind then they are big. If someone is white then they are big. If someone is kind and white then they are big.
Dave is quiet.
@0: Anne is big.[(triple1 OR ((triple2) -> rule1) OR ((triple7) -> rule2) OR ((triple2 triple7) -> rule3))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7)] Charlie is nice.[(triple8)] Charlie is red.[(triple9)] Charlie is white.[(triple10)] Dave is big.[(triple11 OR ((triple12) -> rule1))] Dave is kind.[(triple12)] Dave is nice.[(triple13)] Dave is red.[(triple14)] Dave is rough.[(triple15)] @1: Charlie is big.[(((triple10) -> rule2))]