Bob is nice. Erin is smart. Fiona is blue. Gary is nice. All red things are blue. If something is quiet then it is smart. If Erin is red then Erin is rough. If Erin is rough then Erin is red. If something is red and smart then it is big. All rough, quiet things are red.
Erin is smart.
@0: Bob is nice.[(triple1)] Erin is smart.[(triple2)] Fiona is blue.[(triple3)] Gary is nice.[(triple4)]