Anne is red. Anne is white. Dave is big. Dave is blue. Dave is not cold. Dave is red. Dave is round. Dave is white. Erin is cold. Fiona is not cold. Fiona is nice. Fiona is red. All round, nice people are blue. All nice people are round. If someone is round and not blue then they are big.
Fiona is blue.
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is not cold.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] Dave is white.[(triple8)] Erin is cold.[(triple9)] Fiona is nice.[(triple11)] Fiona is not cold.[(triple10)] Fiona is red.[(triple12)] @1: Fiona is round.[(((triple11) -> rule2))] @2: Fiona is blue.[(((((triple11) -> rule2) triple11) -> rule1))]