Charlie is quiet. Charlie is smart. Dave is kind. Dave is quiet. Dave is smart. Fiona is big. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Kind people are round. If Dave is not kind then Dave is big. If someone is smart and round then they are rough. If someone is smart and not kind then they are quiet. If someone is smart and not quiet then they are big. If Fiona is big and Fiona is not round then Fiona is rough.
Dave is not big.
@0: Charlie is quiet.[(triple1)] Charlie is smart.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10 OR ((triple8) -> rule1))] @1: Dave is round.[(((triple3) -> rule1))] @2: Dave is rough.[(((triple5 ((triple3) -> rule1)) -> rule3))]