Charlie is white. Dave is furry. Fiona is furry. Fiona is quiet. Fiona is round. Fiona is white. Harry is nice. If someone is nice then they are round. All red people are white. Round, green people are red. Nice, furry people are green. Nice, round people are furry. If Charlie is round and Charlie is nice then Charlie is white.
Dave is not white.
@0: Charlie is white.[(triple1)] Dave is furry.[(triple2)] Fiona is furry.[(triple3)] Fiona is quiet.[(triple4)] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Harry is nice.[(triple7)] @1: Harry is round.[(((triple7) -> rule1))] @2: Harry is furry.[(((triple7 ((triple7) -> rule1)) -> rule5))] @3: Harry is green.[(((triple7 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule4))] @4: Harry is red.[(((((triple7) -> rule1) ((triple7 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule4)) -> rule3))] @5: Harry is white.[(((((((triple7) -> rule1) ((triple7 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule4)) -> rule3)) -> rule2))]