Anne is big. Anne is furry. Anne is quiet. Anne is red. Erin is cold. Erin is furry. Erin is red. All cold, smart people are rough. All rough people are quiet. If Erin is quiet and Erin is red then Erin is big. If someone is cold and furry then they are smart. Smart, red people are rough. Smart people are rough.
Erin is not quiet.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is red.[(triple7)] @1: Erin is smart.[(((triple5 triple6) -> rule4))] @2: Erin is rough.[(((((triple5 triple6) -> rule4)) -> rule6) OR ((triple5 ((triple5 triple6) -> rule4)) -> rule1) OR ((((triple5 triple6) -> rule4) triple7) -> rule5))] @3: Erin is quiet.[(((((((triple5 triple6) -> rule4)) -> rule6)) -> rule2) OR ((((triple5 ((triple5 triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple5 triple6) -> rule4) triple7) -> rule5)) -> rule2))] @4: Erin is big.[(((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule2) triple7) -> rule3) OR ((((((triple5 ((triple5 triple6) -> rule4)) -> rule1)) -> rule2) triple7) -> rule3) OR ((((((((triple5 triple6) -> rule4) triple7) -> rule5)) -> rule2) triple7) -> rule3))]