Bob is furry. Bob is smart. Charlie is blue. Charlie is red. Dave is red. Fiona is blue. Fiona is quiet. If Fiona is round then Fiona is blue. If someone is round then they are furry. Round people are red.
Fiona is blue.
@0: Bob is furry.[(triple1)] Bob is smart.[(triple2)] Charlie is blue.[(triple3)] Charlie is red.[(triple4)] Dave is red.[(triple5)] Fiona is blue.[(triple6)] Fiona is quiet.[(triple7)]