Bob is blue. Bob is quiet. Bob is round. Bob is smart. Bob is white. Erin is blue. Erin is cold. Erin is quiet. Erin is round. Erin is smart. Erin is white. Harry is blue. Harry is kind. Harry is quiet. Harry is smart. If someone is blue and kind then they are round. If Harry is white and Harry is round then Harry is kind.
Erin is not round.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is quiet.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10)] Erin is white.[(triple11)] Harry is blue.[(triple12)] Harry is kind.[(triple13)] Harry is quiet.[(triple14)] Harry is smart.[(triple15)] @1: Harry is round.[(((triple12 triple13) -> rule1))]