Bob is not rough. Erin is nice. Fiona is nice. If something is nice then it is not smart. If something is cold then it is kind. If something is nice and not smart then it is cold.
Fiona is not smart.
@0: Bob is not rough.[(triple1)] Erin is nice.[(triple2)] Fiona is nice.[(triple3)] @1: Erin is not smart.[(((triple2) -> rule1))] Fiona is not smart.[(((triple3) -> rule1))] @2: Erin is cold.[(((triple2 ((triple2) -> rule1)) -> rule3))] Fiona is cold.[(((triple3 ((triple3) -> rule1)) -> rule3))] @3: Erin is kind.[(((((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2))] Fiona is kind.[(((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2))]