Fiona is round. Fiona is smart. Fiona is white. All smart things are round. All round things are rough. All smart things are not blue. If Fiona is cold then Fiona is kind. If Fiona is smart and Fiona is not round then Fiona is not rough. Rough things are cold.
Fiona is not kind.
@0: Fiona is round.[(triple1 OR ((triple2) -> rule1))] Fiona is smart.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is not blue.[(((triple2) -> rule3))] Fiona is rough.[(((triple1) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] @2: Fiona is cold.[(((((triple1) -> rule2)) -> rule6) OR ((((((triple2) -> rule1)) -> rule2)) -> rule6))] @3: Fiona is kind.[(((((((triple1) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule4))]