Anne is blue. Charlie is nice. Dave is not blue. Dave is red. Fiona is big. Fiona is not red. Fiona is not white. If Fiona is nice then Fiona is not red. All nice people are cold. If Fiona is blue then Fiona is nice. If Charlie is white and Charlie is not blue then Charlie is not cold. Round people are white. If Dave is big and Dave is red then Dave is white. Nice people are red. If someone is nice and red then they are round.
Charlie is not round.
@0: Anne is blue.[(triple1)] Charlie is nice.[(triple2)] Dave is not blue.[(triple3)] Dave is red.[(triple4)] Fiona is big.[(triple5)] Fiona is not red.[(triple6)] Fiona is not white.[(triple7)] @1: Charlie is cold.[(((triple2) -> rule2))] Charlie is red.[(((triple2) -> rule7))] @2: Charlie is round.[(((triple2 ((triple2) -> rule7)) -> rule8))] @3: Charlie is white.[(((((triple2 ((triple2) -> rule7)) -> rule8)) -> rule5))]