Bob is kind. Dave is cold. Erin is white. Fiona is round. All white people are not kind. Round, rough people are kind. If someone is green and not round then they are young. Rough people are not young. Green people are cold. All kind people are green. If Dave is round and Dave is white then Dave is not green. If Fiona is not cold then Fiona is young.
Fiona is not round.
@0: Bob is kind.[(triple1)] Dave is cold.[(triple2)] Erin is white.[(triple3)] Fiona is round.[(triple4)] @1: Bob is green.[(((triple1) -> rule6))] Erin is not kind.[(((triple3) -> rule1))] @2: Bob is cold.[(((((triple1) -> rule6)) -> rule5))]