Charlie is big. Charlie is red. Charlie is young. Dave is not green. Dave is quiet. Dave is not red. Erin is not big. Erin is quiet. Erin is not red. Erin is young. Smart, big things are not red. If something is big and furry then it is not red. If something is big then it is not quiet. If something is furry and young then it is quiet. Red things are big. If something is quiet and green then it is not furry.
Erin is green.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule5))] Charlie is red.[(triple2)] Charlie is young.[(triple3)] Dave is not green.[(triple4)] Dave is not red.[(triple6)] Dave is quiet.[(triple5)] Erin is not big.[(triple7)] Erin is not red.[(triple9)] Erin is quiet.[(triple8)] Erin is young.[(triple10)] @1: Charlie is not quiet.[(((triple1) -> rule3) OR ((((triple2) -> rule5)) -> rule3))]