Bob is blue. Bob is red. Bob is white. Erin is furry. Erin is rough. Fiona is red. Fiona is white. If something is round then it is white. If Fiona is round and Fiona is blue then Fiona is smart. If Fiona is white then Fiona is rough. All blue, smart things are red. If Bob is rough and Bob is red then Bob is white. Blue, round things are furry. All rough, smart things are white. If Erin is red then Erin is white.
Fiona is not smart.
@0: Bob is blue.[(triple1)] Bob is red.[(triple2)] Bob is white.[(triple3)] Erin is furry.[(triple4)] Erin is rough.[(triple5)] Fiona is red.[(triple6)] Fiona is white.[(triple7)] @1: Fiona is rough.[(((triple7) -> rule3))]