Charlie is furry. Charlie is quiet. Erin is nice. Erin is rough. Erin is smart. Fiona is furry. Fiona is nice. Quiet things are smart. If Charlie is furry then Charlie is white.
Charlie is furry.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Erin is nice.[(triple3)] Erin is rough.[(triple4)] Erin is smart.[(triple5)] Fiona is furry.[(triple6)] Fiona is nice.[(triple7)] @1: Charlie is smart.[(((triple2) -> rule1))] Charlie is white.[(((triple1) -> rule2))]