Dave is smart. Erin is nice. Gary is nice. Nice things are green. If something is nice then it is green. If something is green then it is round. All nice things are big. All green, smart things are round. All smart, round things are green. All rough things are green. If Gary is kind then Gary is nice.
Gary is not big.
@0: Dave is smart.[(triple1)] Erin is nice.[(triple2)] Gary is nice.[(triple3)] @1: Erin is big.[(((triple2) -> rule4))] Erin is green.[(((triple2) -> rule1) OR ((triple2) -> rule2))] Gary is big.[(((triple3) -> rule4))] Gary is green.[(((triple3) -> rule1) OR ((triple3) -> rule2))] @2: Erin is round.[(((((triple2) -> rule1)) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] Gary is round.[(((((triple3) -> rule1)) -> rule3) OR ((((triple3) -> rule2)) -> rule3))]