Dave is big. Dave is green. Dave is kind. Dave is white. Dave is young. Erin is kind. Erin is rough. Erin is white. Fiona is rough. Fiona is young. If something is kind and round then it is not green. All round, kind things are not green. If Erin is rough and Erin is kind then Erin is round.
Erin is not round.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Erin is kind.[(triple6)] Erin is rough.[(triple7)] Erin is white.[(triple8)] Fiona is rough.[(triple9)] Fiona is young.[(triple10)] @1: Erin is round.[(((triple7 triple6) -> rule3))] @2: Erin is not green.[(((triple6 ((triple7 triple6) -> rule3)) -> rule1) OR ((((triple7 triple6) -> rule3) triple6) -> rule2))]