Anne is big. Anne is blue. Anne is cold. Anne is rough. Anne is smart. Anne is white. Anne is young. Charlie is big. Charlie is blue. Charlie is cold. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Fiona is big. Fiona is young. If something is young then it is white. If Fiona is rough and Fiona is smart then Fiona is cold. White, blue things are big.
Fiona is young.
@0: Anne is big.[(triple1 OR ((triple6 triple2) -> rule3) OR ((((triple7) -> rule1) triple2) -> rule3))] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple7) -> rule1))] Anne is young.[(triple7)] Charlie is big.[(triple8 OR ((triple13 triple9) -> rule3) OR ((((triple14) -> rule1) triple9) -> rule3))] Charlie is blue.[(triple9)] Charlie is cold.[(triple10)] Charlie is rough.[(triple11)] Charlie is smart.[(triple12)] Charlie is white.[(triple13 OR ((triple14) -> rule1))] Charlie is young.[(triple14)] Fiona is big.[(triple15)] Fiona is young.[(triple16)] @1: Fiona is white.[(((triple16) -> rule1))]