Dave is kind. Dave is not quiet. Dave is rough. Erin is green. Fiona is big. Fiona is not green. Fiona is nice. Fiona is rough. Fiona is smart. Harry is big. Harry is not kind. Harry is nice. If someone is smart and not big then they are quiet. If someone is kind then they are not quiet. If Erin is quiet and Erin is not rough then Erin is green. If someone is smart then they are kind. If Erin is big then Erin is nice. If Harry is not big then Harry is kind.
Dave is smart.
@0: Dave is kind.[(triple1)] Dave is not quiet.[(triple2 OR ((triple1) -> rule2))] Dave is rough.[(triple3)] Erin is green.[(triple4)] Fiona is big.[(triple5)] Fiona is nice.[(triple7)] Fiona is not green.[(triple6)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Harry is big.[(triple10)] Harry is nice.[(triple12)] Harry is not kind.[(triple11)] @1: Fiona is kind.[(((triple9) -> rule4))] @2: Fiona is not quiet.[(((((triple9) -> rule4)) -> rule2))]