Bob is big. Bob is blue. Bob is cold. Bob is green. Erin is not big. Erin is blue. Erin is cold. Erin is not quiet. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is round. Kind people are round.
Bob is not round.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is not big.[(triple5)] Erin is not quiet.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is quiet.[(triple14)] Harry is round.[(triple15 OR ((triple13) -> rule1))]