Anne is cold. Anne is white. Anne is not young. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is rough. Bob is young. Erin is kind. Erin is rough. Erin is not young. Gary is blue. Gary is cold. Gary is furry. Gary is young. Blue people are kind. If Bob is furry then Bob is cold. If Erin is not blue then Erin is furry. If Anne is blue and Anne is furry then Anne is kind. Young, white people are rough. Blue, kind people are rough. Blue, young people are cold. Blue people are not white.
Anne is furry.
@0: Anne is cold.[(triple1)] Anne is not young.[(triple3)] Anne is white.[(triple2)] Bob is blue.[(triple4)] Bob is cold.[(triple5 OR ((triple6) -> rule2) OR ((triple4 triple9) -> rule7))] Bob is furry.[(triple6)] Bob is kind.[(triple7 OR ((triple4) -> rule1))] Bob is rough.[(triple8 OR ((triple4 triple7) -> rule6) OR ((triple4 ((triple4) -> rule1)) -> rule6))] Bob is young.[(triple9)] Erin is kind.[(triple10)] Erin is not young.[(triple12)] Erin is rough.[(triple11)] Gary is blue.[(triple13)] Gary is cold.[(triple14 OR ((triple13 triple16) -> rule7))] Gary is furry.[(triple15)] Gary is young.[(triple16)] @1: Bob is not white.[(((triple4) -> rule8))] Gary is kind.[(((triple13) -> rule1))] Gary is not white.[(((triple13) -> rule8))] @2: Gary is rough.[(((triple13 ((triple13) -> rule1)) -> rule6))]