Anne is big. Anne is white. Charlie is cold. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Erin is red. Erin is rough. Erin is smart. Erin is white. Gary is kind. Gary is red. Gary is rough. Gary is smart. All white, smart things are rough. If Anne is white then Anne is rough. If Gary is cold then Gary is rough. If Erin is kind and Erin is white then Erin is rough. If something is big and red then it is cold. If something is cold and rough then it is smart.
Charlie is cold.
@0: Anne is big.[(triple1)] Anne is white.[(triple2)] Charlie is cold.[(triple3)] Charlie is kind.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6 OR ((triple8 triple7) -> rule1))] Charlie is smart.[(triple7 OR ((triple3 triple6) -> rule6))] Charlie is white.[(triple8)] Erin is red.[(triple9)] Erin is rough.[(triple10 OR ((triple12 triple11) -> rule1))] Erin is smart.[(triple11)] Erin is white.[(triple12)] Gary is kind.[(triple13)] Gary is red.[(triple14)] Gary is rough.[(triple15)] Gary is smart.[(triple16)] @1: Anne is rough.[(((triple2) -> rule2))]