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