Charlie is young. Dave is nice. Erin is kind. Fiona is furry. If something is cold then it is not young. Cold things are green. If something is furry and white then it is green. If something is young and not white then it is not green. If something is white then it is kind. All furry things are kind. If something is kind and furry then it is cold. If something is furry and not white then it is not nice.
Charlie is cold.
@0: Charlie is young.[(triple1)] Dave is nice.[(triple2)] Erin is kind.[(triple3)] Fiona is furry.[(triple4)] @1: Fiona is kind.[(((triple4) -> rule6))] @2: Fiona is cold.[(((((triple4) -> rule6) triple4) -> rule7))] @3: Fiona is green.[(((((((triple4) -> rule6) triple4) -> rule7)) -> rule2))] Fiona is not young.[(((((((triple4) -> rule6) triple4) -> rule7)) -> rule1))]