Charlie is cold. Charlie is kind. Charlie is nice. Charlie is round. Charlie is white. Erin is cold. Erin is green. Erin is nice. Erin is round. Fiona is green. Fiona is kind. Fiona is round. Fiona is smart. Gary is round. Gary is white. Green, white things are nice. If something is kind and round then it is white.
Charlie is smart.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5 OR ((triple2 triple4) -> rule2))] Erin is cold.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is round.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15)] @1: Fiona is white.[(((triple11 triple12) -> rule2))] @2: Fiona is nice.[(((triple10 ((triple11 triple12) -> rule2)) -> rule1))]