Anne is rough. Anne is round. Anne is smart. Anne is young. Bob is quiet. Fiona is cold. Fiona is quiet. Fiona is smart. Harry is quiet. Harry is rough. If something is smart then it is rough. Rough things are cold. All quiet things are smart.
Anne is quiet.
@0: Anne is rough.[(triple1 OR ((triple3) -> rule1))] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Bob is quiet.[(triple5)] Fiona is cold.[(triple6 OR ((((triple8) -> rule1)) -> rule2) OR ((((((triple7) -> rule3)) -> rule1)) -> rule2))] Fiona is quiet.[(triple7)] Fiona is smart.[(triple8 OR ((triple7) -> rule3))] Harry is quiet.[(triple9)] Harry is rough.[(triple10 OR ((((triple9) -> rule3)) -> rule1))] @1: Anne is cold.[(((triple1) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Bob is smart.[(((triple5) -> rule3))] Fiona is rough.[(((triple8) -> rule1) OR ((((triple7) -> rule3)) -> rule1))] Harry is cold.[(((triple10) -> rule2) OR ((((((triple9) -> rule3)) -> rule1)) -> rule2))] Harry is smart.[(((triple9) -> rule3))] @2: Bob is rough.[(((((triple5) -> rule3)) -> rule1))] @3: Bob is cold.[(((((((triple5) -> rule3)) -> rule1)) -> rule2))]