Bob is big. Bob is not smart. Erin is big. Erin is smart. Erin is young. Fiona is kind. Harry is smart. Rough things are not young. Kind things are not young.
Bob is white.
@0: Bob is big.[(triple1)] Bob is not smart.[(triple2)] Erin is big.[(triple3)] Erin is smart.[(triple4)] Erin is young.[(triple5)] Fiona is kind.[(triple6)] Harry is smart.[(triple7)] @1: Fiona is not young.[(((triple6) -> rule2))]