Bob is not white. Bob is young. Charlie is furry. Charlie is not round. Charlie is young. Erin is furry. Erin is not red. Erin is rough. Fiona is not white. Fiona is not young. If someone is furry and rough then they are white. If someone is white then they are young. If someone is red and not young then they are green.
Bob is rough.
@0: Bob is not white.[(triple1)] Bob is young.[(triple2)] Charlie is furry.[(triple3)] Charlie is not round.[(triple4)] Charlie is young.[(triple5)] Erin is furry.[(triple6)] Erin is not red.[(triple7)] Erin is rough.[(triple8)] Fiona is not white.[(triple9)] Fiona is not young.[(triple10)] @1: Erin is white.[(((triple6 triple8) -> rule1))] @2: Erin is young.[(((((triple6 triple8) -> rule1)) -> rule2))]