Bob is cold. Bob is quiet. Bob is white. Dave is not big. Dave is round. Dave is white. Erin is round. Gary is not cold. Gary is furry. Gary is kind. Gary is round. Gary is white. All kind things are furry. White, round things are kind.
Gary is big.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is white.[(triple3)] Dave is not big.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Erin is round.[(triple7)] Gary is furry.[(triple9 OR ((triple10) -> rule1) OR ((((triple12 triple11) -> rule2)) -> rule1))] Gary is kind.[(triple10 OR ((triple12 triple11) -> rule2))] Gary is not cold.[(triple8)] Gary is round.[(triple11)] Gary is white.[(triple12)] @1: Dave is kind.[(((triple6 triple5) -> rule2))] @2: Dave is furry.[(((((triple6 triple5) -> rule2)) -> rule1))]