Charlie is young. Dave is not kind. Dave is quiet. Erin is big. Erin is young. Fiona is quiet. Fiona is not young. If Fiona is quiet then Fiona is rough. All rough things are nice. If something is quiet then it is rough. All cold things are rough. If Dave is kind then Dave is quiet. All nice things are not kind. If Charlie is big then Charlie is quiet. If something is nice and not quiet then it is not young.
Fiona is kind.
@0: Charlie is young.[(triple1)] Dave is not kind.[(triple2 OR ((((((triple3) -> rule3)) -> rule2)) -> rule6))] Dave is quiet.[(triple3)] Erin is big.[(triple4)] Erin is young.[(triple5)] Fiona is not young.[(triple7)] Fiona is quiet.[(triple6)] @1: Dave is rough.[(((triple3) -> rule3))] Fiona is rough.[(((triple6) -> rule1) OR ((triple6) -> rule3))] @2: Dave is nice.[(((((triple3) -> rule3)) -> rule2))] Fiona is nice.[(((((triple6) -> rule1)) -> rule2) OR ((((triple6) -> rule3)) -> rule2))] @3: Fiona is not kind.[(((((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple6) -> rule3)) -> rule2)) -> rule6))]