Anne is red. Anne is rough. Anne is round. Dave is blue. Dave is nice. Dave is round. Dave is young. Harry is red. Harry is rough. Harry is young. All red, rough people are young. If Harry is blue then Harry is kind. Blue people are red. If Anne is round and Anne is kind then Anne is red. If Dave is red then Dave is round. Red people are rough. If Dave is nice then Dave is blue. Blue, young people are round.
Harry is not kind.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2 OR ((triple1) -> rule6))] Anne is round.[(triple3)] Dave is blue.[(triple4 OR ((triple5) -> rule7))] Dave is nice.[(triple5)] Dave is round.[(triple6 OR ((triple4 triple7) -> rule8) OR ((((triple4) -> rule3)) -> rule5) OR ((((triple5) -> rule7) triple7) -> rule8) OR ((((((triple5) -> rule7)) -> rule3)) -> rule5) OR ((triple4 ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule6)) -> rule1)) -> rule8) OR ((triple4 ((((((triple5) -> rule7)) -> rule3) ((((triple4) -> rule3)) -> rule6)) -> rule1)) -> rule8) OR ((((triple5) -> rule7) ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule6)) -> rule1)) -> rule8) OR ((((triple5) -> rule7) ((((((triple5) -> rule7)) -> rule3) ((((triple4) -> rule3)) -> rule6)) -> rule1)) -> rule8) OR ((triple4 ((((triple4) -> rule3) ((((((triple5) -> rule7)) -> rule3)) -> rule6)) -> rule1)) -> rule8) OR ((triple4 ((((((triple5) -> rule7)) -> rule3) ((((((triple5) -> rule7)) -> rule3)) -> rule6)) -> rule1)) -> rule8) OR ((((triple5) -> rule7) ((((triple4) -> rule3) ((((((triple5) -> rule7)) -> rule3)) -> rule6)) -> rule1)) -> rule8) OR ((((triple5) -> rule7) ((((((triple5) -> rule7)) -> rule3) ((((((triple5) -> rule7)) -> rule3)) -> rule6)) -> rule1)) -> rule8))] Dave is young.[(triple7 OR ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5) -> rule7)) -> rule3) ((((triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple4) -> rule3) ((((((triple5) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5) -> rule7)) -> rule3) ((((((triple5) -> rule7)) -> rule3)) -> rule6)) -> rule1))] Harry is red.[(triple8)] Harry is rough.[(triple9 OR ((triple8) -> rule6))] Harry is young.[(triple10 OR ((triple8 triple9) -> rule1) OR ((triple8 ((triple8) -> rule6)) -> rule1))] @1: Anne is young.[(((triple1 triple2) -> rule1) OR ((triple1 ((triple1) -> rule6)) -> rule1))] Dave is red.[(((triple4) -> rule3) OR ((((triple5) -> rule7)) -> rule3))] @2: Dave is rough.[(((((triple4) -> rule3)) -> rule6) OR ((((((triple5) -> rule7)) -> rule3)) -> rule6))]