Charlie is red. Fiona is rough. Fiona is young. All green people are not kind. If Fiona is red then Fiona is cold. If someone is furry then they are cold. If someone is rough then they are cold. If Charlie is red then Charlie is furry. If someone is furry and not rough then they are red. If someone is furry then they are green. Red people are not young.
Fiona is young.
@0: Charlie is red.[(triple1)] Fiona is rough.[(triple2)] Fiona is young.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule5))] Charlie is not young.[(((triple1) -> rule8))] Fiona is cold.[(((triple2) -> rule4))] @2: Charlie is cold.[(((((triple1) -> rule5)) -> rule3))] Charlie is green.[(((((triple1) -> rule5)) -> rule7))] @3: Charlie is not kind.[(((((((triple1) -> rule5)) -> rule7)) -> rule1))]