Dave is blue. Dave is not green. Dave is not kind. Dave is not smart. Dave is young. Erin is blue. Erin is green. Erin is smart. Erin is white. Erin is young. Fiona is not green. Fiona is kind. Fiona is smart. Fiona is white. Fiona is young. Smart, round people are kind. If Fiona is blue then Fiona is not green. If someone is smart and young then they are white. Round people are not young. If Dave is blue and Dave is green then Dave is not white. If someone is round and not young then they are not green.
Fiona is round.
@0: Dave is blue.[(triple1)] Dave is not green.[(triple2)] Dave is not kind.[(triple3)] Dave is not smart.[(triple4)] Dave is young.[(triple5)] Erin is blue.[(triple6)] Erin is green.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9 OR ((triple8 triple10) -> rule3))] Erin is young.[(triple10)] Fiona is kind.[(triple12)] Fiona is not green.[(triple11)] Fiona is smart.[(triple13)] Fiona is white.[(triple14 OR ((triple13 triple15) -> rule3))] Fiona is young.[(triple15)]