Anne is blue. Anne is kind. Anne is rough. Anne is white. Anne is young. Bob is rough. Fiona is cold. Fiona is kind. Fiona is round. Fiona is white. Fiona is young. Harry is cold. Harry is rough. Harry is round. Harry is young. All round things are rough. If something is blue then it is round. Rough things are kind. All young, cold things are blue. All white, blue things are cold. If something is white then it is young.
Harry is white.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((triple3) -> rule3) OR ((((((triple1) -> rule2)) -> rule1)) -> rule3))] Anne is rough.[(triple3 OR ((((triple1) -> rule2)) -> rule1))] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple4) -> rule6))] Bob is rough.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple8 OR ((((triple9) -> rule1)) -> rule3) OR ((((((((triple11 triple7) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((((((((((triple10) -> rule6) triple7) -> rule4)) -> rule2)) -> rule1)) -> rule3))] Fiona is round.[(triple9 OR ((((triple11 triple7) -> rule4)) -> rule2) OR ((((((triple10) -> rule6) triple7) -> rule4)) -> rule2))] Fiona is white.[(triple10)] Fiona is young.[(triple11 OR ((triple10) -> rule6))] Harry is cold.[(triple12)] Harry is rough.[(triple13 OR ((triple14) -> rule1) OR ((((((triple15 triple12) -> rule4)) -> rule2)) -> rule1))] Harry is round.[(triple14 OR ((((triple15 triple12) -> rule4)) -> rule2))] Harry is young.[(triple15)] @1: Anne is cold.[(((triple4 triple1) -> rule5))] Anne is round.[(((triple1) -> rule2))] Bob is kind.[(((triple6) -> rule3))] Fiona is blue.[(((triple11 triple7) -> rule4) OR ((((triple10) -> rule6) triple7) -> rule4))] Fiona is rough.[(((triple9) -> rule1) OR ((((((triple11 triple7) -> rule4)) -> rule2)) -> rule1) OR ((((((((triple10) -> rule6) triple7) -> rule4)) -> rule2)) -> rule1))] Harry is blue.[(((triple15 triple12) -> rule4))] Harry is kind.[(((triple13) -> rule3) OR ((((triple14) -> rule1)) -> rule3) OR ((((((((triple15 triple12) -> rule4)) -> rule2)) -> rule1)) -> rule3))]