Charlie is big. Charlie is cold. Charlie is furry. Charlie is white. Fiona is big. Fiona is kind. Fiona is white. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is white. If something is big then it is cold. If Fiona is kind then Fiona is not young. If something is big and not cold then it is not green. If something is big and not cold then it is white. If something is cold and not white then it is furry. If Gary is not furry then Gary is green.
Fiona is not furry.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple1) -> rule1))] Charlie is furry.[(triple3)] Charlie is white.[(triple4)] Fiona is big.[(triple5)] Fiona is kind.[(triple6)] Fiona is white.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9 OR ((triple8) -> rule1))] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is white.[(triple12)] @1: Fiona is cold.[(((triple5) -> rule1))] Fiona is not young.[(((triple6) -> rule2))]