Charlie is big. Charlie is rough. Charlie is white. Erin is cold. Erin is rough. Erin is young. Fiona is blue. Fiona is rough. Fiona is smart. Gary is big. Gary is smart. Gary is young. If Erin is white and Erin is big then Erin is rough. If something is blue then it is white. If Charlie is rough and Charlie is white then Charlie is young. If Fiona is young then Fiona is big. White, blue things are young. If Charlie is smart then Charlie is white. If something is white and young then it is blue. If Erin is smart then Erin is big.
Charlie is not smart.
@0: Charlie is big.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Erin is cold.[(triple4)] Erin is rough.[(triple5)] Erin is young.[(triple6)] Fiona is blue.[(triple7)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Gary is big.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Charlie is young.[(((triple2 triple3) -> rule3))] Fiona is white.[(((triple7) -> rule2))] @2: Charlie is blue.[(((triple3 ((triple2 triple3) -> rule3)) -> rule7))] Fiona is young.[(((((triple7) -> rule2) triple7) -> rule5))] @3: Fiona is big.[(((((((triple7) -> rule2) triple7) -> rule5)) -> rule4))]