Anne is big. Anne is kind. Anne is rough. Anne is round. Anne is white. Dave is blue. Dave is kind. Dave is round. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is white. Harry is big. Harry is blue. Harry is rough. Harry is white. All rough things are blue. Big things are white. Round things are big. White things are furry. If Fiona is furry then Fiona is kind. All kind things are round.
Harry is kind.
@0: Anne is big.[(triple1 OR ((triple4) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4 OR ((triple2) -> rule6))] Anne is white.[(triple5 OR ((triple1) -> rule2) OR ((((triple4) -> rule3)) -> rule2) OR ((((((triple2) -> rule6)) -> rule3)) -> rule2))] Dave is blue.[(triple6)] Dave is kind.[(triple7)] Dave is round.[(triple8 OR ((triple7) -> rule6))] Fiona is blue.[(triple9)] Fiona is furry.[(triple10 OR ((triple12) -> rule4) OR ((((((((triple11) -> rule6)) -> rule3)) -> rule2)) -> rule4))] Fiona is kind.[(triple11 OR ((triple10) -> rule5) OR ((((triple12) -> rule4)) -> rule5))] Fiona is white.[(triple12 OR ((((((triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple10) -> rule5)) -> rule6)) -> rule3)) -> rule2))] Harry is big.[(triple13)] Harry is blue.[(triple14 OR ((triple15) -> rule1))] Harry is rough.[(triple15)] Harry is white.[(triple16 OR ((triple13) -> rule2))] @1: Anne is blue.[(((triple3) -> rule1))] Anne is furry.[(((triple5) -> rule4) OR ((((triple1) -> rule2)) -> rule4) OR ((((((triple4) -> rule3)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule4))] Dave is big.[(((triple8) -> rule3) OR ((((triple7) -> rule6)) -> rule3))] Fiona is round.[(((triple11) -> rule6) OR ((((triple10) -> rule5)) -> rule6) OR ((((((triple12) -> rule4)) -> rule5)) -> rule6))] Harry is furry.[(((triple16) -> rule4) OR ((((triple13) -> rule2)) -> rule4))] @2: Dave is white.[(((((triple8) -> rule3)) -> rule2) OR ((((((triple7) -> rule6)) -> rule3)) -> rule2))] Fiona is big.[(((((triple11) -> rule6)) -> rule3) OR ((((((triple10) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple12) -> rule4)) -> rule5)) -> rule6)) -> rule3))] @3: Dave is furry.[(((((((triple8) -> rule3)) -> rule2)) -> rule4) OR ((((((((triple7) -> rule6)) -> rule3)) -> rule2)) -> rule4))]