Charlie is furry. Charlie is nice. Charlie is not rough. Fiona is cold. Fiona is furry. Fiona is red. Fiona is not rough. Nice things are cold. Cold things are not quiet. Cold things are not rough.
Fiona is not cold.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is not rough.[(triple3 OR ((((triple2) -> rule1)) -> rule3))] Fiona is cold.[(triple4)] Fiona is furry.[(triple5)] Fiona is not rough.[(triple7 OR ((triple4) -> rule3))] Fiona is red.[(triple6)] @1: Charlie is cold.[(((triple2) -> rule1))] Fiona is not quiet.[(((triple4) -> rule2))] @2: Charlie is not quiet.[(((((triple2) -> rule1)) -> rule2))]