Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is rough. Erin is round. Erin is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is round. Fiona is white. If Fiona is cold and Fiona is furry then Fiona is nice. All furry, rough people are cold. If someone is round and rough then they are white.
Erin is not rough.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2 OR ((triple3 triple5) -> rule2))] Erin is furry.[(triple3)] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple6 triple5) -> rule3))] Fiona is blue.[(triple8)] Fiona is cold.[(triple9 OR ((triple10 triple12) -> rule2))] Fiona is furry.[(triple10)] Fiona is nice.[(triple11 OR ((triple9 triple10) -> rule1) OR ((((triple10 triple12) -> rule2) triple10) -> rule1))] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Fiona is white.[(triple14 OR ((triple13 triple12) -> rule3))]