Charlie is kind. Fiona is rough. Gary is not red. Green, red people are white. If someone is smart and not kind then they are white. If Charlie is cold then Charlie is green. All white people are cold. If someone is green then they are not red. If someone is red and not kind then they are smart. If Fiona is kind then Fiona is cold. If Charlie is kind then Charlie is white.
Charlie is rough.
@0: Charlie is kind.[(triple1)] Fiona is rough.[(triple2)] Gary is not red.[(triple3)] @1: Charlie is white.[(((triple1) -> rule8))] @2: Charlie is cold.[(((((triple1) -> rule8)) -> rule4))] @3: Charlie is green.[(((((((triple1) -> rule8)) -> rule4)) -> rule3))] @4: Charlie is not red.[(((((((((triple1) -> rule8)) -> rule4)) -> rule3)) -> rule5))]