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