Erin is cold. Fiona is kind. Big people are rough. If Erin is furry and Erin is white then Erin is young. If someone is big and not rough then they are not young. White people are furry. All rough, white people are not furry. Young people are kind. Cold people are kind. If someone is kind then they are white.
Fiona is big.
@0: Erin is cold.[(triple1)] Fiona is kind.[(triple2)] @1: Erin is kind.[(((triple1) -> rule7))] Fiona is white.[(((triple2) -> rule8))] @2: Erin is white.[(((((triple1) -> rule7)) -> rule8))] Fiona is furry.[(((((triple2) -> rule8)) -> rule4))] @3: Erin is furry.[(((((((triple1) -> rule7)) -> rule8)) -> rule4))] @4: Erin is young.[(((((((((triple1) -> rule7)) -> rule8)) -> rule4) ((((triple1) -> rule7)) -> rule8)) -> rule2))]