Anne is big. Anne is quiet. Dave is blue. Dave is not nice. Dave is young. Erin is quiet. Erin is young. All blue things are not nice. If Anne is rough then Anne is blue. Rough things are blue. If Dave is nice then Dave is not rough. All nice things are young. All nice things are young. Quiet things are rough. If Dave is not rough then Dave is young.
Erin is not rough.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Dave is blue.[(triple3)] Dave is not nice.[(triple4 OR ((triple3) -> rule1))] Dave is young.[(triple5)] Erin is quiet.[(triple6)] Erin is young.[(triple7)] @1: Anne is rough.[(((triple2) -> rule7))] Erin is rough.[(((triple6) -> rule7))] @2: Anne is blue.[(((((triple2) -> rule7)) -> rule2) OR ((((triple2) -> rule7)) -> rule3))] Erin is blue.[(((((triple6) -> rule7)) -> rule3))] @3: Anne is not nice.[(((((((triple2) -> rule7)) -> rule2)) -> rule1) OR ((((((triple2) -> rule7)) -> rule3)) -> rule1))] Erin is not nice.[(((((((triple6) -> rule7)) -> rule3)) -> rule1))]