Anne is nice. Anne is red. Anne is white. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Red, nice things are smart. All quiet things are white. If something is rough then it is quiet.
Anne is rough.
@0: Anne is nice.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Fiona is furry.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6 OR ((triple8) -> rule3))] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9 OR ((triple7 triple5) -> rule1))] Fiona is white.[(triple10 OR ((triple6) -> rule2) OR ((((triple8) -> rule3)) -> rule2))] @1: Anne is smart.[(((triple2 triple1) -> rule1))]