Dave is round. Erin is not round. Fiona is kind. Furry people are not round. If someone is young and white then they are round. If someone is cold then they are nice. Kind people are nice. Round people are white. If Fiona is kind and Fiona is cold then Fiona is not nice. White people are cold. Cold people are not furry.
Dave is not round.
@0: Dave is round.[(triple1)] Erin is not round.[(triple2)] Fiona is kind.[(triple3)] @1: Dave is white.[(((triple1) -> rule5))] Fiona is nice.[(((triple3) -> rule4))] @2: Dave is cold.[(((((triple1) -> rule5)) -> rule7))] @3: Dave is nice.[(((((((triple1) -> rule5)) -> rule7)) -> rule3))] Dave is not furry.[(((((((triple1) -> rule5)) -> rule7)) -> rule8))]