Anne is big. Anne is cold. Anne is furry. Anne is quiet. Anne is not red. Anne is young. Bob is big. Bob is cold. Bob is furry. Bob is quiet. Bob is red. Erin is big. Erin is cold. Erin is furry. Erin is not quiet. Erin is young. If Erin is young then Erin is cold. If Erin is not red and Erin is not furry then Erin is quiet. If Bob is furry and Bob is not quiet then Bob is not cold.
Anne is big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is not red.[(triple5)] Anne is quiet.[(triple4)] Anne is young.[(triple6)] Bob is big.[(triple7)] Bob is cold.[(triple8)] Bob is furry.[(triple9)] Bob is quiet.[(triple10)] Bob is red.[(triple11)] Erin is big.[(triple12)] Erin is cold.[(triple13 OR ((triple16) -> rule1))] Erin is furry.[(triple14)] Erin is not quiet.[(triple15)] Erin is young.[(triple16)]