Charlie is furry. Erin is not furry. Fiona is cold. All nice things are not quiet. Rough, cold things are nice. Nice, white things are not furry. If something is quiet and nice then it is cold. If something is furry then it is cold. All cold things are rough.
Erin is not nice.
@0: Charlie is furry.[(triple1)] Erin is not furry.[(triple2)] Fiona is cold.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule5))] Fiona is rough.[(((triple3) -> rule6))] @2: Charlie is rough.[(((((triple1) -> rule5)) -> rule6))] Fiona is nice.[(((((triple3) -> rule6) triple3) -> rule2))] @3: Charlie is nice.[(((((((triple1) -> rule5)) -> rule6) ((triple1) -> rule5)) -> rule2))] Fiona is not quiet.[(((((((triple3) -> rule6) triple3) -> rule2)) -> rule1))] @4: Charlie is not quiet.[(((((((((triple1) -> rule5)) -> rule6) ((triple1) -> rule5)) -> rule2)) -> rule1))]