Charlie is blue. Charlie is rough. Dave is furry. Dave is nice. Dave is rough. Erin is furry. Erin is nice. Erin is quiet. Erin is rough. Erin is white. Erin is not young. Gary is nice. If something is rough then it is blue. Young things are not blue. All blue things are furry. All white things are not young. If something is furry and blue then it is not young. Young things are white. Young things are rough. If something is white and not blue then it is quiet.
Dave is not young.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule1))] Charlie is rough.[(triple2)] Dave is furry.[(triple3 OR ((((triple5) -> rule1)) -> rule3))] Dave is nice.[(triple4)] Dave is rough.[(triple5)] Erin is furry.[(triple6 OR ((((triple9) -> rule1)) -> rule3))] Erin is nice.[(triple7)] Erin is not young.[(triple11 OR ((triple10) -> rule4) OR ((triple6 ((triple9) -> rule1)) -> rule5) OR ((((((triple9) -> rule1)) -> rule3) ((triple9) -> rule1)) -> rule5))] Erin is quiet.[(triple8)] Erin is rough.[(triple9)] Erin is white.[(triple10)] Gary is nice.[(triple12)] @1: Charlie is furry.[(((triple1) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Dave is blue.[(((triple5) -> rule1))] Erin is blue.[(((triple9) -> rule1))] @2: Charlie is not young.[(((((triple1) -> rule3) triple1) -> rule5) OR ((((triple1) -> rule3) ((triple2) -> rule1)) -> rule5) OR ((((((triple2) -> rule1)) -> rule3) triple1) -> rule5) OR ((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule5))] Dave is not young.[(((triple3 ((triple5) -> rule1)) -> rule5) OR ((((((triple5) -> rule1)) -> rule3) ((triple5) -> rule1)) -> rule5))]