Charlie is big. Charlie is blue. Charlie is white. Erin is cold. Fiona is blue. Fiona is red. Fiona is white. Gary is big. Gary is blue. Gary is cold. Gary is red. Gary is white. White people are red. All quiet, red people are not cold. All big people are cold. If Erin is cold and Erin is not white then Erin is not smart. All smart people are quiet. If someone is smart and not red then they are not quiet. If someone is smart and white then they are big. If someone is white then they are big.
Gary is white.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule8))] Charlie is blue.[(triple2)] Charlie is white.[(triple3)] Erin is cold.[(triple4)] Fiona is blue.[(triple5)] Fiona is red.[(triple6 OR ((triple7) -> rule1))] Fiona is white.[(triple7)] Gary is big.[(triple8 OR ((triple12) -> rule8))] Gary is blue.[(triple9)] Gary is cold.[(triple10 OR ((triple8) -> rule3) OR ((((triple12) -> rule8)) -> rule3))] Gary is red.[(triple11 OR ((triple12) -> rule1))] Gary is white.[(triple12)] @1: Charlie is cold.[(((triple1) -> rule3) OR ((((triple3) -> rule8)) -> rule3))] Charlie is red.[(((triple3) -> rule1))] Fiona is big.[(((triple7) -> rule8))] @2: Fiona is cold.[(((((triple7) -> rule8)) -> rule3))]