Charlie is big. Erin is big. Erin is red. If Erin is not smart then Erin is not white. Smart people are red. Smart people are red. Furry people are red. All furry people are cold. If Erin is blue and Erin is cold then Erin is furry. All big people are furry. Red, furry people are white.
Erin is furry.
@0: Charlie is big.[(triple1)] Erin is big.[(triple2)] Erin is red.[(triple3 OR ((((triple2) -> rule7)) -> rule4))] @1: Charlie is furry.[(((triple1) -> rule7))] Erin is furry.[(((triple2) -> rule7))] @2: Charlie is cold.[(((((triple1) -> rule7)) -> rule5))] Charlie is red.[(((((triple1) -> rule7)) -> rule4))] Erin is cold.[(((((triple2) -> rule7)) -> rule5))] Erin is white.[(((triple3 ((triple2) -> rule7)) -> rule8) OR ((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule8))] @3: Charlie is white.[(((((((triple1) -> rule7)) -> rule4) ((triple1) -> rule7)) -> rule8))]