Anne is big. Anne is green. Bob is cold. Bob is rough. Bob is white. Erin is big. Erin is green. Harry is cold. Harry is furry. Harry is red. Harry is rough. Harry is white. If Erin is red and Erin is furry then Erin is green. If Erin is big then Erin is green. All red, white people are furry. If Harry is red and Harry is rough then Harry is furry. If Anne is white and Anne is red then Anne is big. If Harry is red then Harry is rough. Red people are green. All big people are red.
Harry is not cold.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((((triple1) -> rule8)) -> rule7))] Bob is cold.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Erin is big.[(triple6)] Erin is green.[(triple7 OR ((triple6) -> rule2) OR ((((triple6) -> rule8)) -> rule7))] Harry is cold.[(triple8)] Harry is furry.[(triple9 OR ((triple10 triple11) -> rule4) OR ((triple10 triple12) -> rule3) OR ((triple10 ((triple10) -> rule6)) -> rule4))] Harry is red.[(triple10)] Harry is rough.[(triple11 OR ((triple10) -> rule6))] Harry is white.[(triple12)] @1: Anne is red.[(((triple1) -> rule8))] Erin is red.[(((triple6) -> rule8))] Harry is green.[(((triple10) -> rule7))]