Bob is blue. Bob is quiet. Bob is red. Bob is round. Bob is smart. Erin is blue. Erin is quiet. Erin is round. Fiona is quiet. Fiona is smart. If Erin is quiet then Erin is rough.
Fiona is blue.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Erin is blue.[(triple6)] Erin is quiet.[(triple7)] Erin is round.[(triple8)] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10)] @1: Erin is rough.[(((triple7) -> rule1))]