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