Bob is furry. Erin is furry. Fiona is big. If Fiona is red then Fiona is big. If Bob is young then Bob is red. If someone is young then they are round. Red, young people are quiet. If someone is big and red then they are round. If Fiona is big then Fiona is round.
Erin is not furry.
@0: Bob is furry.[(triple1)] Erin is furry.[(triple2)] Fiona is big.[(triple3)] @1: Fiona is round.[(((triple3) -> rule6))]