Charlie is big. Charlie is blue. Charlie is not nice. Charlie is red. Charlie is smart. Charlie is young. Erin is red. Erin is smart. Fiona is nice. Fiona is not red. Gary is big. Gary is blue. Gary is not green. Gary is nice. Gary is smart. Gary is young. If something is green and smart then it is not young. If something is big then it is young. All big things are young. All blue, nice things are not red. All smart things are big. If something is big and not nice then it is smart. If something is nice then it is smart. If Charlie is not young then Charlie is red.
Gary is red.
@0: Charlie is big.[(triple1 OR ((triple5) -> rule5))] Charlie is blue.[(triple2)] Charlie is not nice.[(triple3)] Charlie is red.[(triple4)] Charlie is smart.[(triple5 OR ((triple1 triple3) -> rule6))] Charlie is young.[(triple6 OR ((triple1) -> rule2) OR ((triple1) -> rule3) OR ((((triple5) -> rule5)) -> rule2) OR ((((triple5) -> rule5)) -> rule3))] Erin is red.[(triple7)] Erin is smart.[(triple8)] Fiona is nice.[(triple9)] Fiona is not red.[(triple10)] Gary is big.[(triple11 OR ((triple15) -> rule5) OR ((((triple14) -> rule7)) -> rule5))] Gary is blue.[(triple12)] Gary is nice.[(triple14)] Gary is not green.[(triple13)] Gary is smart.[(triple15 OR ((triple14) -> rule7))] Gary is young.[(triple16 OR ((triple11) -> rule2) OR ((triple11) -> rule3) OR ((((triple15) -> rule5)) -> rule2) OR ((((triple15) -> rule5)) -> rule3) OR ((((((triple14) -> rule7)) -> rule5)) -> rule2) OR ((((((triple14) -> rule7)) -> rule5)) -> rule3))] @1: Erin is big.[(((triple8) -> rule5))] Fiona is smart.[(((triple9) -> rule7))] Gary is not red.[(((triple12 triple14) -> rule4))] @2: Erin is young.[(((((triple8) -> rule5)) -> rule2) OR ((((triple8) -> rule5)) -> rule3))] Fiona is big.[(((((triple9) -> rule7)) -> rule5))] @3: Fiona is young.[(((((((triple9) -> rule7)) -> rule5)) -> rule2) OR ((((((triple9) -> rule7)) -> rule5)) -> rule3))]