Dave is round. Dave is white. Erin is not blue. Erin is rough. Erin is not round. Erin is white. Fiona is not round. If someone is furry and not round then they are not smart. Furry people are smart. If Fiona is not green then Fiona is not blue. If someone is smart and round then they are not blue. If Dave is round and Dave is blue then Dave is green. Blue, smart people are not furry. Round people are furry. If Fiona is green then Fiona is furry.
Erin is blue.
@0: Dave is round.[(triple1)] Dave is white.[(triple2)] Erin is not blue.[(triple3)] Erin is not round.[(triple5)] Erin is rough.[(triple4)] Erin is white.[(triple6)] Fiona is not round.[(triple7)] @1: Dave is furry.[(((triple1) -> rule7))] @2: Dave is smart.[(((((triple1) -> rule7)) -> rule2))] @3: Dave is not blue.[(((((((triple1) -> rule7)) -> rule2) triple1) -> rule4))]