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