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