Erin is nice. Fiona is blue. If someone is nice then they are blue. If Erin is red and Erin is nice then Erin is round. All rough people are big. If Fiona is blue then Fiona is round. Kind people are big. If someone is big then they are round.
Fiona is not rough.
@0: Erin is nice.[(triple1)] Fiona is blue.[(triple2)] @1: Erin is blue.[(((triple1) -> rule1))] Fiona is round.[(((triple2) -> rule4))]