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