Charlie is blue. Charlie is green. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Fiona is green. Gary is blue. Gary is furry. Gary is green. Gary is rough. Gary is round. If Gary is blue and Gary is young then Gary is rough. If someone is green and young then they are furry. If someone is young then they are furry. If Charlie is young and Charlie is not green then Charlie is round. If Charlie is green then Charlie is young. Young people are blue. If Gary is green then Gary is not white. If someone is furry and not rough then they are white.
Charlie is not blue.
@0: Charlie is blue.[(triple1 OR ((triple6) -> rule6) OR ((((triple2) -> rule5)) -> rule6))] Charlie is green.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6 OR ((triple2) -> rule5))] Fiona is green.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)] @1: Charlie is furry.[(((triple6) -> rule3) OR ((triple2 triple6) -> rule2) OR ((((triple2) -> rule5)) -> rule3) OR ((triple2 ((triple2) -> rule5)) -> rule2))] Gary is not white.[(((triple10) -> rule7))]