Erin is furry. Fiona is furry. Fiona is red. Gary is white. Harry is blue. Harry is furry. Harry is rough. All rough, furry people are white. Furry people are kind. Kind people are rough.
Fiona is white.
@0: Erin is furry.[(triple1)] Fiona is furry.[(triple2)] Fiona is red.[(triple3)] Gary is white.[(triple4)] Harry is blue.[(triple5)] Harry is furry.[(triple6)] Harry is rough.[(triple7 OR ((((triple6) -> rule2)) -> rule3))] @1: Erin is kind.[(((triple1) -> rule2))] Fiona is kind.[(((triple2) -> rule2))] Harry is kind.[(((triple6) -> rule2))] Harry is white.[(((triple7 triple6) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) triple6) -> rule1))] @2: Erin is rough.[(((((triple1) -> rule2)) -> rule3))] Fiona is rough.[(((((triple2) -> rule2)) -> rule3))] @3: Erin is white.[(((((((triple1) -> rule2)) -> rule3) triple1) -> rule1))] Fiona is white.[(((((((triple2) -> rule2)) -> rule3) triple2) -> rule1))]