Anne is big. Anne is round. Anne is smart. Charlie is not round. Erin is red. Harry is green. Harry is not round. Round, blue people are red. All round people are red. Cold people are smart. All round people are green. If Harry is green and Harry is red then Harry is big. If Charlie is big then Charlie is green. If Anne is smart and Anne is round then Anne is cold. If Erin is green and Erin is not cold then Erin is big.
Harry is not green.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Charlie is not round.[(triple4)] Erin is red.[(triple5)] Harry is green.[(triple6)] Harry is not round.[(triple7)] @1: Anne is cold.[(((triple3 triple2) -> rule7))] Anne is green.[(((triple2) -> rule4))] Anne is red.[(((triple2) -> rule2))]