Bob is round. Erin is cold. Erin is kind. Gary is cold. Gary is kind. Gary is quiet. Gary is round. All big, smart things are white. All quiet, round things are big.
Erin is cold.
@0: Bob is round.[(triple1)] Erin is cold.[(triple2)] Erin is kind.[(triple3)] Gary is cold.[(triple4)] Gary is kind.[(triple5)] Gary is quiet.[(triple6)] Gary is round.[(triple7)] @1: Gary is big.[(((triple6 triple7) -> rule2))]