Harry is blue. Harry is furry. Harry is green. Harry is red. Harry is rough. Harry is round. Harry is white. If someone is furry and rough then they are white. Round people are white. If Harry is round and Harry is furry then Harry is white. If someone is blue then they are white. White people are red. All white people are rough. All round, furry people are green. If someone is rough and green then they are furry.
Harry is not rough.
@0: Harry is blue.[(triple1)] Harry is furry.[(triple2 OR ((triple5 triple3) -> rule8) OR ((((triple7) -> rule6) triple3) -> rule8) OR ((((((triple1) -> rule4)) -> rule6) triple3) -> rule8) OR ((((((triple6) -> rule2)) -> rule6) triple3) -> rule8))] Harry is green.[(triple3 OR ((triple6 triple2) -> rule7))] Harry is red.[(triple4 OR ((triple7) -> rule5) OR ((((triple1) -> rule4)) -> rule5) OR ((((triple6) -> rule2)) -> rule5) OR ((((triple2 triple5) -> rule1)) -> rule5) OR ((((triple6 triple2) -> rule3)) -> rule5) OR ((((triple6 ((triple5 triple3) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule8) triple5) -> rule1)) -> rule5))] Harry is rough.[(triple5 OR ((triple7) -> rule6) OR ((((triple1) -> rule4)) -> rule6) OR ((((triple6) -> rule2)) -> rule6) OR ((((triple6 triple2) -> rule3)) -> rule6))] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((triple1) -> rule4) OR ((triple6) -> rule2) OR ((triple2 triple5) -> rule1) OR ((triple6 triple2) -> rule3) OR ((triple6 ((triple5 triple3) -> rule8)) -> rule3) OR ((((triple5 triple3) -> rule8) triple5) -> rule1))]