Bob is smart. Charlie is rough. Erin is furry. Fiona is not red. If someone is rough and not smart then they are furry. All big, furry people are green. All rough people are red.
Fiona is furry.
@0: Bob is smart.[(triple1)] Charlie is rough.[(triple2)] Erin is furry.[(triple3)] Fiona is not red.[(triple4)] @1: Charlie is red.[(((triple2) -> rule3))]