Bob is nice. Charlie is white. Dave is kind. Erin is nice. If something is nice then it is big. If Charlie is blue and Charlie is red then Charlie is white. If Erin is big and Erin is young then Erin is kind. If something is red and white then it is blue. Young, nice things are big. Red things are white. If something is kind then it is young. If something is young then it is blue.
Charlie is not big.
@0: Bob is nice.[(triple1)] Charlie is white.[(triple2)] Dave is kind.[(triple3)] Erin is nice.[(triple4)] @1: Bob is big.[(((triple1) -> rule1))] Dave is young.[(((triple3) -> rule7))] Erin is big.[(((triple4) -> rule1))] @2: Dave is blue.[(((((triple3) -> rule7)) -> rule8))]