Anne is kind. Anne is round. Charlie is big. Charlie is white. Dave is quiet. Dave is smart. Gary is kind. White, big things are quiet. All round things are white.
Gary is round.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Charlie is big.[(triple3)] Charlie is white.[(triple4)] Dave is quiet.[(triple5)] Dave is smart.[(triple6)] Gary is kind.[(triple7)] @1: Anne is white.[(((triple2) -> rule2))] Charlie is quiet.[(((triple4 triple3) -> rule1))]