Bob is quiet. Bob is smart. Dave is rough. Erin is big. Erin is rough. Gary is round. Gary is white. Smart people are green. All rough people are smart. If someone is round then they are rough.
Bob is not round.
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2)] Dave is rough.[(triple3)] Erin is big.[(triple4)] Erin is rough.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)] @1: Bob is green.[(((triple2) -> rule1))] Dave is smart.[(((triple3) -> rule2))] Erin is smart.[(((triple5) -> rule2))] Gary is rough.[(((triple6) -> rule3))] @2: Dave is green.[(((((triple3) -> rule2)) -> rule1))] Erin is green.[(((((triple5) -> rule2)) -> rule1))] Gary is smart.[(((((triple6) -> rule3)) -> rule2))] @3: Gary is green.[(((((((triple6) -> rule3)) -> rule2)) -> rule1))]