Anne is cold. Anne is nice. Anne is young. Bob is big. Bob is cold. Bob is kind. Bob is nice. Bob is young. Erin is big. Erin is cold. Erin is not nice. Erin is young. If something is nice then it is cold.
Bob is furry.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule1))] Anne is nice.[(triple2)] Anne is young.[(triple3)] Bob is big.[(triple4)] Bob is cold.[(triple5 OR ((triple7) -> rule1))] Bob is kind.[(triple6)] Bob is nice.[(triple7)] Bob is young.[(triple8)] Erin is big.[(triple9)] Erin is cold.[(triple10)] Erin is not nice.[(triple11)] Erin is young.[(triple12)]