Bob is nice. Charlie is big. Erin is quiet. Fiona is white. If someone is furry then they are white. If someone is young then they are white. If Erin is young and Erin is nice then Erin is furry. Quiet people are young. White people are red. If Erin is furry and Erin is quiet then Erin is red.
Fiona is not red.
@0: Bob is nice.[(triple1)] Charlie is big.[(triple2)] Erin is quiet.[(triple3)] Fiona is white.[(triple4)] @1: Erin is young.[(((triple3) -> rule4))] Fiona is red.[(((triple4) -> rule5))] @2: Erin is white.[(((((triple3) -> rule4)) -> rule2))] @3: Erin is red.[(((((((triple3) -> rule4)) -> rule2)) -> rule5))]