Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Dave is blue. Dave is cold. Dave is kind. Dave is round. Erin is blue. Erin is cold. Erin is green. Erin is rough. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. If someone is rough and white then they are kind. If someone is kind and blue then they are white. If someone is blue and green then they are kind.
Charlie is round.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple1 triple3) -> rule3))] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Dave is round.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is green.[(triple11)] Erin is rough.[(triple12)] Fiona is green.[(triple13)] Fiona is kind.[(triple14)] Fiona is rough.[(triple15)] Fiona is round.[(triple16)] @1: Charlie is white.[(((triple4 triple1) -> rule2) OR ((((triple1 triple3) -> rule3) triple1) -> rule2))] Dave is white.[(((triple7 triple5) -> rule2))] Erin is kind.[(((triple9 triple11) -> rule3))] @2: Erin is white.[(((((triple9 triple11) -> rule3) triple9) -> rule2))]