Charlie is big. Charlie is cold. Charlie is rough. Charlie is white. Erin is quiet. Fiona is kind. Fiona is white. If something is cold then it is white. All quiet, big things are white. All kind, white things are big. White, big things are cold. If something is big then it is kind. If something is kind and blue then it is quiet. Blue things are cold. All blue things are quiet.
Charlie is blue.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple4 triple1) -> rule4))] Charlie is rough.[(triple3)] Charlie is white.[(triple4 OR ((triple2) -> rule1))] Erin is quiet.[(triple5)] Fiona is kind.[(triple6)] Fiona is white.[(triple7)] @1: Charlie is kind.[(((triple1) -> rule5))] Fiona is big.[(((triple6 triple7) -> rule3))] @2: Fiona is cold.[(((triple7 ((triple6 triple7) -> rule3)) -> rule4))]