Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is round. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is round. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is red. Nice things are cold. Cold things are blue. All furry, round things are red. If something is blue then it is green. If Dave is green then Dave is blue. All green, blue things are red.
Harry is round.
@0: Anne is blue.[(triple1 OR ((((triple3) -> rule1)) -> rule2))] Anne is green.[(triple2 OR ((triple1) -> rule4) OR ((((((triple3) -> rule1)) -> rule2)) -> rule4))] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple2 triple1) -> rule6) OR ((((triple1) -> rule4) triple1) -> rule6) OR ((triple2 ((((triple3) -> rule1)) -> rule2)) -> rule6) OR ((((triple1) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple3) -> rule1)) -> rule2)) -> rule4) triple1) -> rule6) OR ((((((((triple3) -> rule1)) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule6))] Anne is round.[(triple5)] Dave is cold.[(triple6 OR ((triple9) -> rule1))] Dave is furry.[(triple7)] Dave is green.[(triple8 OR ((((triple6) -> rule2)) -> rule4) OR ((((((triple9) -> rule1)) -> rule2)) -> rule4))] Dave is nice.[(triple9)] Dave is round.[(triple10)] Harry is blue.[(triple11 OR ((triple12) -> rule2) OR ((((triple15) -> rule1)) -> rule2))] Harry is cold.[(triple12 OR ((triple15) -> rule1))] Harry is furry.[(triple13)] Harry is green.[(triple14 OR ((triple11) -> rule4) OR ((((triple12) -> rule2)) -> rule4) OR ((((((triple15) -> rule1)) -> rule2)) -> rule4))] Harry is nice.[(triple15)] Harry is red.[(triple16 OR ((triple14 triple11) -> rule6) OR ((triple14 ((triple12) -> rule2)) -> rule6) OR ((((triple11) -> rule4) triple11) -> rule6) OR ((((triple11) -> rule4) ((triple12) -> rule2)) -> rule6) OR ((triple14 ((((triple15) -> rule1)) -> rule2)) -> rule6) OR ((((((triple12) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11) -> rule4) ((((triple15) -> rule1)) -> rule2)) -> rule6) OR ((((((triple12) -> rule2)) -> rule4) ((triple12) -> rule2)) -> rule6) OR ((((((triple12) -> rule2)) -> rule4) ((((triple15) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple15) -> rule1)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((((((triple15) -> rule1)) -> rule2)) -> rule4) ((triple12) -> rule2)) -> rule6) OR ((((((((triple15) -> rule1)) -> rule2)) -> rule4) ((((triple15) -> rule1)) -> rule2)) -> rule6))] @1: Anne is cold.[(((triple3) -> rule1))] Dave is blue.[(((triple6) -> rule2) OR ((triple8) -> rule5) OR ((((triple9) -> rule1)) -> rule2))] Dave is red.[(((triple7 triple10) -> rule3) OR ((triple8 ((triple6) -> rule2)) -> rule6) OR ((triple8 ((triple8) -> rule5)) -> rule6) OR ((triple8 ((((triple9) -> rule1)) -> rule2)) -> rule6) OR ((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule2)) -> rule4) ((triple8) -> rule5)) -> rule6) OR ((((((triple6) -> rule2)) -> rule4) ((((triple9) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple9) -> rule1)) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((triple9) -> rule1)) -> rule2)) -> rule4) ((triple8) -> rule5)) -> rule6) OR ((((((((triple9) -> rule1)) -> rule2)) -> rule4) ((((triple9) -> rule1)) -> rule2)) -> rule6))]