Anne is furry. Anne is rough. Anne is young. Erin is nice. Erin is red. Fiona is furry. Fiona is kind. Fiona is nice. Gary is rough. Gary is white. All red people are young. If someone is rough and nice then they are kind. All young people are rough. If Anne is white and Anne is not red then Anne is not furry. If Anne is nice and Anne is not young then Anne is kind. If Fiona is red and Fiona is not rough then Fiona is not kind.
Fiona is rough.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2 OR ((triple3) -> rule3))] Anne is young.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Erin is young.[(((triple5) -> rule1))] @2: Erin is rough.[(((((triple5) -> rule1)) -> rule3))] @3: Erin is kind.[(((((((triple5) -> rule1)) -> rule3) triple4) -> rule2))]