Erin is blue. Erin is furry. Erin is quiet. Erin is red. Erin is round. Erin is smart. Erin is white. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. All white people are round. If someone is blue and quiet then they are white.
Fiona is not red.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5 OR ((triple7) -> rule1) OR ((((triple1 triple3) -> rule2)) -> rule1))] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple1 triple3) -> rule2))] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12 OR ((triple14) -> rule1) OR ((((triple8 triple10) -> rule2)) -> rule1))] Fiona is smart.[(triple13)] Fiona is white.[(triple14 OR ((triple8 triple10) -> rule2))]