Dave is furry. Dave is nice. Dave is rough. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is rough. Gary is nice. Gary is quiet. Gary is white. All white people are blue. If someone is rough then they are white. If Dave is blue then Dave is kind.
Dave is kind.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Dave is rough.[(triple3)] Erin is blue.[(triple4 OR ((((triple9) -> rule2)) -> rule1))] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is rough.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is white.[(triple12)] @1: Dave is white.[(((triple3) -> rule2))] Erin is white.[(((triple9) -> rule2))] Gary is blue.[(((triple12) -> rule1))] @2: Dave is blue.[(((((triple3) -> rule2)) -> rule1))] @3: Dave is kind.[(((((((triple3) -> rule2)) -> rule1)) -> rule3))]