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