Bob is nice. Charlie is big. Erin is cold. Fiona is big. Cold, furry people are nice. All furry people are nice. If Charlie is white then Charlie is furry. If Fiona is furry and Fiona is white then Fiona is young. If someone is young and red then they are white. Big people are furry. All big, furry people are red. White people are furry.
Fiona is cold.
@0: Bob is nice.[(triple1)] Charlie is big.[(triple2)] Erin is cold.[(triple3)] Fiona is big.[(triple4)] @1: Charlie is furry.[(((triple2) -> rule6))] Fiona is furry.[(((triple4) -> rule6))] @2: Charlie is nice.[(((((triple2) -> rule6)) -> rule2))] Charlie is red.[(((triple2 ((triple2) -> rule6)) -> rule7))] Fiona is nice.[(((((triple4) -> rule6)) -> rule2))] Fiona is red.[(((triple4 ((triple4) -> rule6)) -> rule7))]