Charlie is big. Charlie is rough. Charlie is round. Charlie is not smart. Charlie is white. Erin is cold. Erin is not rough. Erin is not smart. Erin is white. Gary is red. Harry is cold. Harry is round. If Gary is rough then Gary is not cold. All smart things are red. If Harry is rough and Harry is not smart then Harry is round. If Gary is red then Gary is rough. Round, smart things are white. If Erin is not red then Erin is cold.
Charlie is not red.
@0: Charlie is big.[(triple1)] Charlie is not smart.[(triple4)] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple5)] Erin is cold.[(triple6)] Erin is not rough.[(triple7)] Erin is not smart.[(triple8)] Erin is white.[(triple9)] Gary is red.[(triple10)] Harry is cold.[(triple11)] Harry is round.[(triple12)] @1: Gary is rough.[(((triple10) -> rule4))] @2: Gary is not cold.[(((((triple10) -> rule4)) -> rule1))]