Erin is cold. Erin is furry. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. Fiona is cold. Fiona is furry. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. All young people are smart. Rough people are smart. If someone is young and not red then they are rough. If Erin is rough then Erin is cold. If someone is young and not rough then they are not white. If someone is rough and smart then they are furry. If Erin is not rough then Erin is not smart. If someone is rough and not furry then they are not cold.
Fiona is young.
@0: Erin is cold.[(triple1 OR ((triple4) -> rule4))] Erin is furry.[(triple2 OR ((triple4 triple5) -> rule6) OR ((triple4 ((triple4) -> rule2)) -> rule6) OR ((triple4 ((triple7) -> rule1)) -> rule6))] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is smart.[(triple5 OR ((triple4) -> rule2) OR ((triple7) -> rule1))] Erin is white.[(triple6)] Erin is young.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9 OR ((triple11 triple12) -> rule6) OR ((triple11 ((triple11) -> rule2)) -> rule6) OR ((triple11 ((triple14) -> rule1)) -> rule6))] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12 OR ((triple11) -> rule2) OR ((triple14) -> rule1))] Fiona is white.[(triple13)] Fiona is young.[(triple14)]