Bob is nice. Charlie is nice. Erin is white. Young, nice things are smart. All furry, big things are nice. If Bob is nice then Bob is white. If Charlie is quiet and Charlie is young then Charlie is nice. Quiet, white things are young. If Charlie is nice and Charlie is quiet then Charlie is young.
Erin is furry.
@0: Bob is nice.[(triple1)] Charlie is nice.[(triple2)] Erin is white.[(triple3)] @1: Bob is white.[(((triple1) -> rule3))]