Bob is big. Dave is white. Erin is young. Harry is big. If someone is young then they are nice. All kind, white people are smart. If someone is white then they are big. Smart, nice people are rough. Big, smart people are kind. If someone is rough then they are kind.
Bob is young.
@0: Bob is big.[(triple1)] Dave is white.[(triple2)] Erin is young.[(triple3)] Harry is big.[(triple4)] @1: Dave is big.[(((triple2) -> rule3))] Erin is nice.[(((triple3) -> rule1))]