Bob is not kind. Erin is kind. Fiona is blue. All young people are kind. If someone is rough then they are kind. All kind people are blue. Blue people are young. Kind people are smart. All smart people are rough. If Erin is young and Erin is not big then Erin is furry. If Erin is rough then Erin is furry.
Erin is furry.
@0: Bob is not kind.[(triple1)] Erin is kind.[(triple2)] Fiona is blue.[(triple3)] @1: Erin is blue.[(((triple2) -> rule3))] Erin is smart.[(((triple2) -> rule5))] Fiona is young.[(((triple3) -> rule4))] @2: Erin is rough.[(((((triple2) -> rule5)) -> rule6))] Erin is young.[(((((triple2) -> rule3)) -> rule4))] Fiona is kind.[(((((triple3) -> rule4)) -> rule1))] @3: Erin is furry.[(((((((triple2) -> rule5)) -> rule6)) -> rule8))] Fiona is smart.[(((((((triple3) -> rule4)) -> rule1)) -> rule5))] @4: Fiona is rough.[(((((((((triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6))]