Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is not rough. Gary is quiet. Gary is not smart. If something is rough then it is nice. Kind things are nice. If something is rough then it is quiet. If something is rough and kind then it is quiet. Rough things are not red. If something is smart then it is red. All nice things are smart. All nice, big things are not smart.
Gary is not red.
@0: Fiona is kind.[(triple1)] Fiona is nice.[(triple2 OR ((triple1) -> rule2))] Fiona is not rough.[(triple5)] Fiona is quiet.[(triple3)] Fiona is red.[(triple4 OR ((((triple2) -> rule7)) -> rule6) OR ((((((triple1) -> rule2)) -> rule7)) -> rule6))] Gary is not smart.[(triple7)] Gary is quiet.[(triple6)] @1: Fiona is smart.[(((triple2) -> rule7) OR ((((triple1) -> rule2)) -> rule7))]