Bob is blue. Bob is quiet. Bob is not round. Dave is blue. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Dave is white. Dave is young. Erin is blue. Erin is nice. Erin is not rough. Erin is round. Erin is white. Erin is young. All quiet things are rough. If Erin is white and Erin is round then Erin is not quiet. Blue, nice things are white.
Erin is not blue.
@0: Bob is blue.[(triple1)] Bob is not round.[(triple3)] Bob is quiet.[(triple2)] Dave is blue.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7 OR ((triple6) -> rule1))] Dave is round.[(triple8)] Dave is white.[(triple9 OR ((triple4 triple5) -> rule3))] Dave is young.[(triple10)] Erin is blue.[(triple11)] Erin is nice.[(triple12)] Erin is not rough.[(triple13)] Erin is round.[(triple14)] Erin is white.[(triple15 OR ((triple11 triple12) -> rule3))] Erin is young.[(triple16)] @1: Bob is rough.[(((triple2) -> rule1))] Erin is not quiet.[(((triple15 triple14) -> rule2) OR ((((triple11 triple12) -> rule3) triple14) -> rule2))]