Charlie is not cold. Charlie is not furry. Charlie is rough. Charlie is not smart. Charlie is white. Fiona is big. Fiona is smart. All cold, furry people are rough. If someone is nice and smart then they are not rough. If someone is smart and cold then they are nice. If Fiona is white and Fiona is nice then Fiona is furry. If someone is big then they are cold. If someone is white and big then they are not smart.
Fiona is not rough.
@0: Charlie is not cold.[(triple1)] Charlie is not furry.[(triple2)] Charlie is not smart.[(triple4)] Charlie is rough.[(triple3)] Charlie is white.[(triple5)] Fiona is big.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is cold.[(((triple6) -> rule5))] @2: Fiona is nice.[(((triple7 ((triple6) -> rule5)) -> rule3))] @3: Fiona is not rough.[(((((triple7 ((triple6) -> rule5)) -> rule3) triple7) -> rule2))]