Bob is big. Bob is red. Bob is round. Charlie is big. Charlie is smart. Erin is big. Erin is nice. Smart people are nice. If someone is white and round then they are nice.
Bob is not nice.
@0: Bob is big.[(triple1)] Bob is red.[(triple2)] Bob is round.[(triple3)] Charlie is big.[(triple4)] Charlie is smart.[(triple5)] Erin is big.[(triple6)] Erin is nice.[(triple7)] @1: Charlie is nice.[(((triple5) -> rule1))]