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