Anne is big. Anne is nice. Anne is rough. Charlie is big. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Fiona is big. Fiona is furry. Fiona is kind. Gary is big. Gary is blue. Gary is furry. Gary is red. If Fiona is kind and Fiona is red then Fiona is blue. Kind, red people are big.
Charlie is red.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Charlie is big.[(triple4 OR ((triple6 triple8) -> rule2))] Charlie is furry.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11)] Fiona is kind.[(triple12)] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is furry.[(triple15)] Gary is red.[(triple16)]