Bob is big. Bob is cold. Charlie is cold. Erin is big. Erin is round. Gary is smart. Gary is young. If someone is big then they are kind.
Erin is not kind.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Charlie is cold.[(triple3)] Erin is big.[(triple4)] Erin is round.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)] @1: Bob is kind.[(((triple1) -> rule1))] Erin is kind.[(((triple4) -> rule1))]