Charlie is cold. Charlie is not green. Charlie is nice. Charlie is rough. Charlie is round. Charlie is not white. Fiona is cold. Fiona is green. Gary is green. Gary is not rough. Nice, kind people are not white. All cold people are kind.
Charlie is cold.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple3)] Charlie is not green.[(triple2)] Charlie is not white.[(triple6 OR ((triple3 ((triple1) -> rule2)) -> rule1))] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Gary is green.[(triple9)] Gary is not rough.[(triple10)] @1: Charlie is kind.[(((triple1) -> rule2))] Fiona is kind.[(((triple7) -> rule2))]