Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is not smart. Dave is not big. Dave is kind. Dave is round. Erin is big. Erin is kind. Erin is smart. Fiona is big. Fiona is kind. Fiona is round. If something is big then it is round. If something is red and not big then it is round. If Dave is not red then Dave is not quiet. If something is big and not rough then it is not kind. All smart things are kind. If something is rough and not smart then it is kind. Red, smart things are kind. If something is red and not round then it is kind.
Fiona is rough.
@0: Anne is kind.[(triple1 OR ((triple4 triple6) -> rule6))] Anne is not smart.[(triple6)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Dave is kind.[(triple8)] Dave is not big.[(triple7)] Dave is round.[(triple9)] Erin is big.[(triple10)] Erin is kind.[(triple11 OR ((triple12) -> rule5))] Erin is smart.[(triple12)] Fiona is big.[(triple13)] Fiona is kind.[(triple14)] Fiona is round.[(triple15 OR ((triple13) -> rule1))] @1: Erin is round.[(((triple10) -> rule1))]