Charlie is blue. Charlie is kind. Charlie is red. Charlie is young. Erin is big. Erin is blue. Erin is green. Gary is big. Gary is blue. Gary is green. Gary is quiet. Gary is red. If something is young then it is kind. If Gary is blue and Gary is red then Gary is green. If something is red and quiet then it is blue.
Charlie is quiet.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2 OR ((triple4) -> rule1))] Charlie is red.[(triple3)] Charlie is young.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is green.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9 OR ((triple12 triple11) -> rule3))] Gary is green.[(triple10 OR ((triple9 triple12) -> rule2) OR ((((triple12 triple11) -> rule3) triple12) -> rule2))] Gary is quiet.[(triple11)] Gary is red.[(triple12)]