Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is white. Dave is furry. Erin is cold. If someone is big and furry then they are cold. All furry, cold people are quiet. Furry people are big.
Erin is not big.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3 OR ((triple2 ((((triple2) -> rule3) triple2) -> rule1)) -> rule2))] Charlie is rough.[(triple4)] Charlie is white.[(triple5)] Dave is furry.[(triple6)] Erin is cold.[(triple7)] @1: Charlie is big.[(((triple2) -> rule3))] Dave is big.[(((triple6) -> rule3))] @2: Charlie is cold.[(((((triple2) -> rule3) triple2) -> rule1))] Dave is cold.[(((((triple6) -> rule3) triple6) -> rule1))] @3: Dave is quiet.[(((triple6 ((((triple6) -> rule3) triple6) -> rule1)) -> rule2))]