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