Charlie is big. Charlie is cold. Charlie is furry. Charlie is rough. Dave is furry. Dave is rough. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Gary is blue. Gary is cold. Gary is quiet. Gary is rough. If something is quiet and rough then it is furry. If something is rough and blue then it is furry.
Charlie is not kind.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is rough.[(triple4)] Dave is furry.[(triple5)] Dave is rough.[(triple6)] Erin is big.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Erin is rough.[(triple11)] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is quiet.[(triple14)] Gary is rough.[(triple15)] @1: Gary is furry.[(((triple14 triple15) -> rule1) OR ((triple15 triple12) -> rule2))]