Bob is nice. Bob is white. Bob is young. Dave is not furry. Dave is young. Erin is furry. Erin is nice. Erin is young. Gary is quiet. Gary is round. All quiet, white people are nice. If someone is young and green then they are quiet. Furry, nice people are white.
Dave is young.
@0: Bob is nice.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Dave is not furry.[(triple4)] Dave is young.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is young.[(triple8)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] @1: Erin is white.[(((triple6 triple7) -> rule3))]