Bob is rough. Dave is young. Erin is not round. Erin is smart. Gary is rough. Gary is round. Gary is young. All rough, green things are white. Young things are white. White things are quiet. If something is quiet then it is rough. If something is young and not round then it is not green. If something is quiet and young then it is green.
Erin is not rough.
@0: Bob is rough.[(triple1)] Dave is young.[(triple2)] Erin is not round.[(triple3)] Erin is smart.[(triple4)] Gary is rough.[(triple5 OR ((((((triple7) -> rule2)) -> rule3)) -> rule4))] Gary is round.[(triple6)] Gary is young.[(triple7)] @1: Dave is white.[(((triple2) -> rule2))] Gary is white.[(((triple7) -> rule2))] @2: Dave is quiet.[(((((triple2) -> rule2)) -> rule3))] Gary is quiet.[(((((triple7) -> rule2)) -> rule3))] @3: Dave is green.[(((((((triple2) -> rule2)) -> rule3) triple2) -> rule6))] Dave is rough.[(((((((triple2) -> rule2)) -> rule3)) -> rule4))] Gary is green.[(((((((triple7) -> rule2)) -> rule3) triple7) -> rule6))]