Anne is big. Anne is blue. Anne is kind. Anne is nice. Charlie is big. Charlie is blue. Charlie is nice. Dave is blue. Dave is cold. Dave is nice. Harry is blue. If Charlie is cold then Charlie is nice. If Harry is kind and Harry is nice then Harry is quiet. All blue things are cold. If something is quiet then it is kind. All kind things are big. Cold things are nice. If Harry is nice and Harry is big then Harry is kind. If something is nice then it is quiet.
Dave is rough.
@0: Anne is big.[(triple1 OR ((triple3) -> rule5) OR ((((((triple4) -> rule8)) -> rule4)) -> rule5) OR ((((((((((triple2) -> rule3)) -> rule6)) -> rule8)) -> rule4)) -> rule5))] Anne is blue.[(triple2)] Anne is kind.[(triple3 OR ((((triple4) -> rule8)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule8)) -> rule4))] Anne is nice.[(triple4 OR ((((triple2) -> rule3)) -> rule6))] Charlie is big.[(triple5 OR ((((((triple7) -> rule8)) -> rule4)) -> rule5) OR ((((((((((triple6) -> rule3)) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((((((((triple6) -> rule3)) -> rule6)) -> rule8)) -> rule4)) -> rule5))] Charlie is blue.[(triple6)] Charlie is nice.[(triple7 OR ((((triple6) -> rule3)) -> rule1) OR ((((triple6) -> rule3)) -> rule6))] Dave is blue.[(triple8)] Dave is cold.[(triple9 OR ((triple8) -> rule3))] Dave is nice.[(triple10 OR ((triple9) -> rule6) OR ((((triple8) -> rule3)) -> rule6))] Harry is blue.[(triple11)] @1: Anne is cold.[(((triple2) -> rule3))] Anne is quiet.[(((triple4) -> rule8) OR ((((((triple2) -> rule3)) -> rule6)) -> rule8))] Charlie is cold.[(((triple6) -> rule3))] Charlie is quiet.[(((triple7) -> rule8) OR ((((((triple6) -> rule3)) -> rule1)) -> rule8) OR ((((((triple6) -> rule3)) -> rule6)) -> rule8))] Dave is quiet.[(((triple10) -> rule8) OR ((((triple9) -> rule6)) -> rule8) OR ((((((triple8) -> rule3)) -> rule6)) -> rule8))] Harry is cold.[(((triple11) -> rule3))] @2: Charlie is kind.[(((((triple7) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule6)) -> rule8)) -> rule4))] Dave is kind.[(((((triple10) -> rule8)) -> rule4) OR ((((((triple9) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8)) -> rule4))] Harry is nice.[(((((triple11) -> rule3)) -> rule6))] @3: Dave is big.[(((((((triple10) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule5) OR ((((((((((triple8) -> rule3)) -> rule6)) -> rule8)) -> rule4)) -> rule5))] Harry is quiet.[(((((((triple11) -> rule3)) -> rule6)) -> rule8))] @4: Harry is kind.[(((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4))] @5: Harry is big.[(((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4)) -> rule5))]