Anne is big. Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is rough. Charlie is big. Charlie is kind. Charlie is rough. Charlie is not round. Fiona is cold. Fiona is kind. Gary is big. Gary is blue. Gary is not rough. If someone is kind and not round then they are rough. If someone is rough and not kind then they are not nice. Rough people are nice. If someone is nice then they are blue. Rough, round people are not blue. Kind people are blue. If Fiona is big then Fiona is nice. If Gary is kind and Gary is not nice then Gary is not blue.
Gary is not nice.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4) -> rule6) OR ((triple5) -> rule4) OR ((((triple6) -> rule3)) -> rule4))] Anne is cold.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple6) -> rule3))] Anne is rough.[(triple6)] Charlie is big.[(triple7)] Charlie is kind.[(triple8)] Charlie is not round.[(triple10)] Charlie is rough.[(triple9 OR ((triple8 triple10) -> rule1))] Fiona is cold.[(triple11)] Fiona is kind.[(triple12)] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is not rough.[(triple15)] @1: Charlie is blue.[(((triple8) -> rule6) OR ((((triple9) -> rule3)) -> rule4) OR ((((((triple8 triple10) -> rule1)) -> rule3)) -> rule4))] Charlie is nice.[(((triple9) -> rule3) OR ((((triple8 triple10) -> rule1)) -> rule3))] Fiona is blue.[(((triple12) -> rule6))]