Anne is big. Anne is blue. Bob is big. Bob is not kind. Bob is round. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is not young. If something is young and not blue then it is cold. All round things are not cold. All quiet things are cold. All kind, big things are quiet. If something is big and young then it is kind. All blue things are kind.
Anne is round.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Bob is big.[(triple3)] Bob is not kind.[(triple4)] Bob is round.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8 OR ((((triple9 triple6) -> rule4)) -> rule3) OR ((((((triple7) -> rule6) triple6) -> rule4)) -> rule3))] Harry is kind.[(triple9 OR ((triple7) -> rule6))] Harry is not young.[(triple10)] @1: Anne is kind.[(((triple2) -> rule6))] Bob is not cold.[(((triple5) -> rule2))] Harry is quiet.[(((triple9 triple6) -> rule4) OR ((((triple7) -> rule6) triple6) -> rule4))] @2: Anne is quiet.[(((((triple2) -> rule6) triple1) -> rule4))] @3: Anne is cold.[(((((((triple2) -> rule6) triple1) -> rule4)) -> rule3))]