Bob is nice. Bob is quiet. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Erin is furry. Erin is green. Erin is nice. All round, green people are young. If Erin is green then Erin is quiet. Kind, green people are round.
Charlie is not furry.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is nice.[(triple6)] Charlie is quiet.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is nice.[(triple10)] @1: Charlie is round.[(((triple5 triple4) -> rule3))] Erin is quiet.[(((triple9) -> rule2))] @2: Charlie is young.[(((((triple5 triple4) -> rule3) triple4) -> rule1))]