Anne is big. Anne is quiet. Anne is red. Anne is rough. Anne is young. Charlie is big. Charlie is quiet. Charlie is smart. Dave is red. Dave is rough. Dave is smart. Erin is big. Erin is not red. Erin is rough. Erin is smart. Erin is young. If something is young and not kind then it is rough. If Erin is young and Erin is not rough then Erin is not quiet. Quiet things are red.
Erin is not red.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3 OR ((triple2) -> rule3))] Anne is rough.[(triple4)] Anne is young.[(triple5)] Charlie is big.[(triple6)] Charlie is quiet.[(triple7)] Charlie is smart.[(triple8)] Dave is red.[(triple9)] Dave is rough.[(triple10)] Dave is smart.[(triple11)] Erin is big.[(triple12)] Erin is not red.[(triple13)] Erin is rough.[(triple14)] Erin is smart.[(triple15)] Erin is young.[(triple16)] @1: Charlie is red.[(((triple7) -> rule3))]