Bob is not furry. Charlie is young. Gary is rough. Rough, furry people are not round. If someone is nice then they are round. If someone is quiet then they are round. Round, young people are furry. All furry people are young. If someone is furry then they are nice. If someone is young and not kind then they are rough. All young people are quiet.
Charlie is young.
@0: Bob is not furry.[(triple1)] Charlie is young.[(triple2)] Gary is rough.[(triple3)] @1: Charlie is quiet.[(((triple2) -> rule8))] @2: Charlie is round.[(((((triple2) -> rule8)) -> rule3))] @3: Charlie is furry.[(((((((triple2) -> rule8)) -> rule3) triple2) -> rule4))] @4: Charlie is nice.[(((((((((triple2) -> rule8)) -> rule3) triple2) -> rule4)) -> rule6))]