Anne is cold. Dave is big. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is red. Fiona is rough. Red people are big. Smart people are cold. All rough people are cold. Rough people are smart. All rough people are smart. Cold people are rough.
Anne is not smart.
@0: Anne is cold.[(triple1)] Dave is big.[(triple2)] Fiona is cold.[(triple3 OR ((triple7) -> rule3) OR ((((triple7) -> rule4)) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] Fiona is furry.[(triple4)] Fiona is nice.[(triple5)] Fiona is red.[(triple6)] Fiona is rough.[(triple7 OR ((triple3) -> rule6))] @1: Anne is rough.[(((triple1) -> rule6))] Fiona is big.[(((triple6) -> rule1))] Fiona is smart.[(((triple7) -> rule4) OR ((triple7) -> rule5) OR ((((triple3) -> rule6)) -> rule4) OR ((((triple3) -> rule6)) -> rule5))] @2: Anne is smart.[(((((triple1) -> rule6)) -> rule4) OR ((((triple1) -> rule6)) -> rule5))]