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