Dave is quiet. Dave is red. Gary is big. Gary is cold. Gary is quiet. Gary is red. Gary is smart. Rough things are smart. All smart, cold things are big. Young, red things are smart. Red things are rough. If Dave is big then Dave is young. Smart, rough things are big.
Gary is big.
@0: Dave is quiet.[(triple1)] Dave is red.[(triple2)] Gary is big.[(triple3 OR ((triple7 triple4) -> rule2) OR ((triple7 ((triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule4)) -> rule1) triple4) -> rule2) OR ((((((triple6) -> rule4)) -> rule1) ((triple6) -> rule4)) -> rule6))] Gary is cold.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is smart.[(triple7 OR ((((triple6) -> rule4)) -> rule1))] @1: Dave is rough.[(((triple2) -> rule4))] Gary is rough.[(((triple6) -> rule4))] @2: Dave is smart.[(((((triple2) -> rule4)) -> rule1))] @3: Dave is big.[(((((((triple2) -> rule4)) -> rule1) ((triple2) -> rule4)) -> rule6))] @4: Dave is young.[(((((((((triple2) -> rule4)) -> rule1) ((triple2) -> rule4)) -> rule6)) -> rule5))]