Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is young. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is young. Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. All blue, big people are quiet. Nice people are blue.
Erin is big.
@0: Bob is blue.[(triple1 OR ((triple4) -> rule2))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is young.[(triple5)] Charlie is blue.[(triple6 OR ((triple9) -> rule2))] Charlie is cold.[(triple7)] Charlie is furry.[(triple8)] Charlie is nice.[(triple9)] Charlie is quiet.[(triple10)] Charlie is young.[(triple11)] Erin is blue.[(triple12 OR ((triple15) -> rule2))] Erin is cold.[(triple13)] Erin is furry.[(triple14)] Erin is nice.[(triple15)] Erin is quiet.[(triple16)]