Bob is green. Bob is nice. Bob is not red. Dave is not red. Dave is white. Erin is big. Erin is nice. Harry is quiet. Harry is red. Harry is not white. Nice, big people are white. If Dave is big then Dave is quiet. White people are quiet. If Harry is not nice then Harry is quiet. If someone is nice and quiet then they are young. If someone is green and not white then they are not young.
Dave is young.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is not red.[(triple3)] Dave is not red.[(triple4)] Dave is white.[(triple5)] Erin is big.[(triple6)] Erin is nice.[(triple7)] Harry is not white.[(triple10)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] @1: Dave is quiet.[(((triple5) -> rule3))] Erin is white.[(((triple7 triple6) -> rule1))] @2: Erin is quiet.[(((((triple7 triple6) -> rule1)) -> rule3))] @3: Erin is young.[(((triple7 ((((triple7 triple6) -> rule1)) -> rule3)) -> rule5))]