Charlie is big. Charlie is blue. Charlie is kind. Charlie is white. Fiona is kind. Fiona is smart. Fiona is white. Gary is blue. Gary is kind. Gary is smart. If Fiona is big and Fiona is white then Fiona is blue. If something is round and smart then it is blue. If Charlie is big and Charlie is round then Charlie is blue. If something is smart then it is kind. All white, blue things are kind. White things are smart. All furry things are big. If something is kind and white then it is blue.
Gary is not blue.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple3 triple4) -> rule8) OR ((((((triple4) -> rule6)) -> rule4) triple4) -> rule8))] Charlie is kind.[(triple3 OR ((triple4 triple2) -> rule5) OR ((((triple4) -> rule6)) -> rule4))] Charlie is white.[(triple4)] Fiona is kind.[(triple5 OR ((triple6) -> rule4) OR ((((triple7) -> rule6)) -> rule4))] Fiona is smart.[(triple6 OR ((triple7) -> rule6))] Fiona is white.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9 OR ((triple10) -> rule4))] Gary is smart.[(triple10)] @1: Charlie is smart.[(((triple4) -> rule6))] Fiona is blue.[(((triple5 triple7) -> rule8) OR ((((triple6) -> rule4) triple7) -> rule8) OR ((((((triple7) -> rule6)) -> rule4) triple7) -> rule8))]