The dog is blue. The dog is green. The dog is red. The dog is not rough. The dog is round. All round, green things are blue. If something is red and round then it is green. Round, rough things are green. Blue things are green. If something is blue then it is green. Blue things are not rough. All blue, red things are not rough. Green things are red.
The dog does not need the dog.
@0: The dog is blue.[(triple1 OR ((triple5 triple2) -> rule1) OR ((triple5 ((triple3 triple5) -> rule2)) -> rule1))] The dog is green.[(triple2 OR ((triple1) -> rule4) OR ((triple1) -> rule5) OR ((triple3 triple5) -> rule2))] The dog is not rough.[(triple4 OR ((triple1) -> rule6) OR ((triple1 triple3) -> rule7) OR ((((triple5 triple2) -> rule1)) -> rule6) OR ((triple1 ((triple2) -> rule8)) -> rule7) OR ((((triple5 triple2) -> rule1) triple3) -> rule7) OR ((((triple5 triple2) -> rule1) ((triple2) -> rule8)) -> rule7) OR ((((triple5 ((triple3 triple5) -> rule2)) -> rule1)) -> rule6) OR ((triple1 ((((triple1) -> rule4)) -> rule8)) -> rule7) OR ((triple1 ((((triple1) -> rule5)) -> rule8)) -> rule7) OR ((((triple5 ((triple3 triple5) -> rule2)) -> rule1) triple3) -> rule7) OR ((((triple5 triple2) -> rule1) ((((triple1) -> rule4)) -> rule8)) -> rule7) OR ((((triple5 triple2) -> rule1) ((((triple1) -> rule5)) -> rule8)) -> rule7) OR ((((triple5 ((triple3 triple5) -> rule2)) -> rule1) ((triple2) -> rule8)) -> rule7) OR ((((triple5 ((triple3 triple5) -> rule2)) -> rule1) ((((triple1) -> rule4)) -> rule8)) -> rule7) OR ((((triple5 ((triple3 triple5) -> rule2)) -> rule1) ((((triple1) -> rule5)) -> rule8)) -> rule7))] The dog is red.[(triple3 OR ((triple2) -> rule8) OR ((((triple1) -> rule4)) -> rule8) OR ((((triple1) -> rule5)) -> rule8))] The dog is round.[(triple5)]