Bob is cold. Erin is rough. Fiona is kind. If someone is blue then they are round. If someone is nice then they are blue. All rough people are nice. All rough, blue people are cold. If Fiona is not round then Fiona is cold. If someone is cold and rough then they are kind.
Fiona is rough.
@0: Bob is cold.[(triple1)] Erin is rough.[(triple2)] Fiona is kind.[(triple3)] @1: Erin is nice.[(((triple2) -> rule3))] @2: Erin is blue.[(((((triple2) -> rule3)) -> rule2))] @3: Erin is cold.[(((triple2 ((((triple2) -> rule3)) -> rule2)) -> rule4))] Erin is round.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))] @4: Erin is kind.[(((((triple2 ((((triple2) -> rule3)) -> rule2)) -> rule4) triple2) -> rule6))]