Bob is big. Bob is smart. Bob is not young. Erin is big. Erin is cold. Erin is red. Erin is not smart. Harry is big. Harry is red. Harry is young. All smart people are blue.
Harry is not blue.
@0: Bob is big.[(triple1)] Bob is not young.[(triple3)] Bob is smart.[(triple2)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is not smart.[(triple7)] Erin is red.[(triple6)] Harry is big.[(triple8)] Harry is red.[(triple9)] Harry is young.[(triple10)] @1: Bob is blue.[(((triple2) -> rule1))]