Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Fiona is not big. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is rough. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. If Gary is green and Gary is not furry then Gary is nice. All furry things are green. If something is rough then it is quiet. All green, quiet things are kind. If something is rough and not furry then it is kind. If Gary is quiet and Gary is not green then Gary is not rough.
Anne is nice.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple2) -> rule2))] Anne is kind.[(triple4 OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple6) -> rule3)) -> rule4) OR ((((triple2) -> rule2) triple5) -> rule4) OR ((((triple2) -> rule2) ((triple6) -> rule3)) -> rule4))] Anne is quiet.[(triple5 OR ((triple6) -> rule3))] Anne is rough.[(triple6)] Fiona is furry.[(triple8)] Fiona is nice.[(triple9)] Fiona is not big.[(triple7)] Fiona is quiet.[(triple10 OR ((triple11) -> rule3))] Fiona is rough.[(triple11)] Gary is furry.[(triple12)] Gary is kind.[(triple13 OR ((((triple12) -> rule2) triple15) -> rule4) OR ((((triple12) -> rule2) ((triple16) -> rule3)) -> rule4))] Gary is nice.[(triple14)] Gary is quiet.[(triple15 OR ((triple16) -> rule3))] Gary is rough.[(triple16)] @1: Fiona is green.[(((triple8) -> rule2))] Gary is green.[(((triple12) -> rule2))] @2: Fiona is kind.[(((((triple8) -> rule2) triple10) -> rule4) OR ((((triple8) -> rule2) ((triple11) -> rule3)) -> rule4))]