Bob is kind. Erin is red. Fiona is big. Big, furry people are white. If someone is big and white then they are blue. All furry people are blue. All blue people are kind. If someone is white and not rough then they are not kind. Red people are furry.
Bob is not kind.
@0: Bob is kind.[(triple1)] Erin is red.[(triple2)] Fiona is big.[(triple3)] @1: Erin is furry.[(((triple2) -> rule6))] @2: Erin is blue.[(((((triple2) -> rule6)) -> rule3))] @3: Erin is kind.[(((((((triple2) -> rule6)) -> rule3)) -> rule4))]