Charlie is not blue. Charlie is rough. Charlie is round. Dave is nice. Erin is not blue. Fiona is blue. Fiona is rough. All white things are blue. If something is kind and not rough then it is not cold. Rough, round things are cold. Blue things are round. All kind things are not nice. If something is round then it is kind.
Charlie is not nice.
@0: Charlie is not blue.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Dave is nice.[(triple4)] Erin is not blue.[(triple5)] Fiona is blue.[(triple6)] Fiona is rough.[(triple7)] @1: Charlie is cold.[(((triple2 triple3) -> rule3))] Charlie is kind.[(((triple3) -> rule6))] Fiona is round.[(((triple6) -> rule4))] @2: Charlie is not nice.[(((((triple3) -> rule6)) -> rule5))] Fiona is cold.[(((triple7 ((triple6) -> rule4)) -> rule3))] Fiona is kind.[(((((triple6) -> rule4)) -> rule6))] @3: Fiona is not nice.[(((((((triple6) -> rule4)) -> rule6)) -> rule5))]