Anne is big. Anne is white. Anne is young. Bob is cold. Bob is rough. Charlie is big. Charlie is cold. Charlie is red. Charlie is white. Charlie is young. Fiona is big. Fiona is green. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. All cold things are white. If something is red then it is white. If Charlie is not red then Charlie is not green. If something is cold and not young then it is big. If something is cold then it is big. If Bob is young and Bob is green then Bob is cold. All young things are green. All white things are rough.
Fiona is cold.
@0: Anne is big.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Bob is cold.[(triple4)] Bob is rough.[(triple5 OR ((((triple4) -> rule1)) -> rule8))] Charlie is big.[(triple6 OR ((triple7) -> rule5))] Charlie is cold.[(triple7)] Charlie is red.[(triple8)] Charlie is white.[(triple9 OR ((triple7) -> rule1) OR ((triple8) -> rule2))] Charlie is young.[(triple10)] Fiona is big.[(triple11)] Fiona is green.[(triple12 OR ((triple16) -> rule7))] Fiona is red.[(triple13)] Fiona is rough.[(triple14 OR ((triple15) -> rule8) OR ((((triple13) -> rule2)) -> rule8))] Fiona is white.[(triple15 OR ((triple13) -> rule2))] Fiona is young.[(triple16)] @1: Anne is green.[(((triple3) -> rule7))] Anne is rough.[(((triple2) -> rule8))] Bob is big.[(((triple4) -> rule5))] Bob is white.[(((triple4) -> rule1))] Charlie is green.[(((triple10) -> rule7))] Charlie is rough.[(((triple9) -> rule8) OR ((((triple7) -> rule1)) -> rule8) OR ((((triple8) -> rule2)) -> rule8))]