Erin is nice. Erin is smart. Erin is white. Kind people are big. If Erin is nice then Erin is furry. Furry people are white. If someone is nice and rough then they are smart. All nice, rough people are furry. Furry people are kind.
Erin is not furry.
@0: Erin is nice.[(triple1)] Erin is smart.[(triple2)] Erin is white.[(triple3 OR ((((triple1) -> rule2)) -> rule3))] @1: Erin is furry.[(((triple1) -> rule2))] @2: Erin is kind.[(((((triple1) -> rule2)) -> rule6))] @3: Erin is big.[(((((((triple1) -> rule2)) -> rule6)) -> rule1))]