Charlie is cold. Charlie is rough. Charlie is round. Charlie is young. Erin is kind. Erin is round. Erin is smart. Erin is young. Gary is rough. Gary is smart. If something is cold and young then it is round. All smart, round things are blue. If Charlie is young and Charlie is round then Charlie is smart.
Charlie is not blue.
@0: Charlie is cold.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3 OR ((triple1 triple4) -> rule1))] Charlie is young.[(triple4)] Erin is kind.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] @1: Charlie is smart.[(((triple4 triple3) -> rule3) OR ((triple4 ((triple1 triple4) -> rule1)) -> rule3))] Erin is blue.[(((triple7 triple6) -> rule2))] @2: Charlie is blue.[(((((triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple4 triple3) -> rule3) ((triple1 triple4) -> rule1)) -> rule2) OR ((((triple4 ((triple1 triple4) -> rule1)) -> rule3) triple3) -> rule2) OR ((((triple4 ((triple1 triple4) -> rule1)) -> rule3) ((triple1 triple4) -> rule1)) -> rule2))]