Bob is nice. Erin is big. Fiona is blue. Gary is rough. If someone is blue and big then they are nice. All blue people are nice. White people are rough. All round, blue people are big. If Erin is furry then Erin is blue. All furry people are big.
Fiona is blue.
@0: Bob is nice.[(triple1)] Erin is big.[(triple2)] Fiona is blue.[(triple3)] Gary is rough.[(triple4)] @1: Fiona is nice.[(((triple3) -> rule2))]